A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
L Systems (Lecture Notes in Computer Science, 15)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
