Compiler prototyping using formal semantics (1984)

by Uwe Pleban
Venue:Proceedings of the 1984 Symposium on Compiler Construction, SIGPLAN Notices