Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
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)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)