Compiler prototyping using formal semantics (1984)

by Uwe F Pleban
Venue:In Proc, ACM SIGPLAN’84 Symposium on Compiler Construction, pages 94–105. Sigplan Notices