Towards a Formal Description of Ada
Report on the Programming Language PLZ/SYS
The IOTA Programming System A Modular Programming Environment
Algorithmische Sprache und Programmentwicklung
NEWCAT: Parsing Natural Language Using Left-Associative Grammar
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)