RAIRO. Automatique, Vol 15-16, No 1 à 4, 1981-1982.