RAIRO : Automatique Productique Informatique Industrielle, Vol. 20, No 3, 1986.