Proving compiler correctness in a mechanized logic (1972)

by R Milner, R Weyrauch
Venue:In B. Meltzer and D. Michie (eds), Machine Intelligence 7