RAIRO. Automatique, Vol 13-14, No 1 à 4, 1979-1980.