Compiler Prototyping Using Formal Semantics (1984)

by U Pleban
Venue:SIGPLAN Notices