Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
L Systems (Lecture Notes in Computer Science, 15)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Mes premieres constructions de programmes (Lecture Notes in Computer Science, 55) (French Edition)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Rechnerstrukturen und Betriebsprogrammierung: GI - Gesellschaft für Informatik e.V., Erlangen, 1970 (Lecture Notes in Computer Science, 13)
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Lecture Notes In Computer Science 14