Algebraic Semantics (Lecture Notes in Computer Science, 99)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
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)
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
A Connotational Theory of Program Structure
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)
The Denotational Description of Programming Languages: An Introduction
