Algebraic Semantics (Lecture Notes in Computer Science, 99)
Towards a Formal Description of Ada
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
L Systems (Lecture Notes in Computer Science, 15)
ADA Eine Einführung in die Programmiersprache der Softwaretechnik
Algorithmische Sprache und Programmentwicklung