Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
An Optimized Translation Process and Its Application to ALGOL 68 (Lecture Notes in Computer Science, 38)
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science, 135)
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Organization of Programming Languages
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Programming Languages and Systems - Esop'96 Proceedings
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)