International Symposium, Versailles, December 13–17, 1976 IRIA LABORIA Institut de Recherche d'Informatique et d'Automatique Rocquencourt - France