A Formal Semantics for Computer Languages and its Application in a Compiler-Compiler (1966)

by J A Feldman
Venue:Communications of the ACM