Mes premieres constructions de programmes (Lecture Notes in Computer Science, 55) (French Edition)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
