International Symposium on Programming Proceedings of the Fourth "Colloque International Sur la Programmation" Paris, 22-24 April 1980
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science, 137)
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
Semantics of Data Types
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Automata, Languages and Programming 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85)
Programming Languages and Their Definition Selected Papers