Algebraic Semantics (Lecture Notes in Computer Science, 99)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Algorithmische Sprache und Programmentwicklung
Semantics of Data Types
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Proceedings of Liverpool Singularities - Symposium I. (University of Liverpool 1969/70) (Lecture Notes in Mathematics, 192)