J. Bodwin, L. Bradley, K. Kanda, D. Litle, and U. Pleban. ACM SIGPLAN '82 Symp. on Compiler Construction, ACM press, Boston, MA, Published as ACM SIGPLAN Notices, volume 17, number 6.(June 1982)
H. Ganzinger. Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, (1980)