International Symposium on Programming Proceedings of the Fourth "Colloque International Sur la Programmation" Paris, 22-24 April 1980
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
Theoretical Foundations of Programming Methodology (NATO Science Series C: )
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Program Transformation and Programming Environments Report on a Workshop, Munich, Germany, 12 to 16 September 1983
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Data Base Systems: Proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 24 - 26, 1975 (Lecture Notes in Computer Science, 39) (German and English Edition)
GI-4.Jahrestagung Berlin, 9.–12. Oktober 1974
Language Design and Programming Methodology Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979
Software Development Environments and Case Technology European Symposium, Königswinter, June 17-19, 1991. Proceedings
