RAIRO. Automatique, Vol 17, No 4, 1983.