International symposium on programming : proceedings of the fourth "Collogue international sur la programmation" : Paris, 22-24 April 1980. - Robinet, B. (Lecture Notes in Computer Science ;, 1980)