Algebraic Semantics (Lecture Notes in Computer Science, 99)
L Systems (Lecture Notes in Computer Science, 15)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
