Towards a Formal Description of Ada
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Attribute Grammars Definitions, Systems and Bibliography
Attribute Grammars, Applications and Systems International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (Lecture Notes in Computer Science, 94)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
DIANA. An Intermediate Language for Ada: Revised Version (Lecture Notes in Computer Science, 161)
Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)