Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
L Systems (Lecture Notes in Computer Science, 15)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
A Connotational Theory of Program Structure
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Language Equations (Monographs in Computer Science)
