A constructive approach to compiler correctness (1980)

by Peter D Mosses
Venue:In Proc. Seventh Colloquium of Automuta, Languages, and Programming