[ACM] CACM 9(01) January 1966

(1957) Communications of the ACM  

J.A. Feldman (1966) J.A. Feldman "A Formal Semantics for Computer Languages and its Application in a Compiler-Compiler" Wirth, N. (1966) Wirth, N. "EULER: A Generalization of ALGOL and Its Formal Definition", Pt 2