Algebraic Semantics (Lecture Notes in Computer Science, 99)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)
Proof and Computation (Nato ASI Subseries F:)
