Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Semantics of Data Types
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Logic and Algebra of Specification
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
