Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
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)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
L Systems (Lecture Notes in Computer Science, 15)
Seminar on Triples and Categorical Homology Theory: ETH 1966/67 (Lecture Notes in Mathematics, 80)
