More advice on proving a compiler correct: Improve a correct compiler (1994)

by E Meijer
Venue:Compiler, Phoenix Seminar and Workshop on Declarative Programming (Springer-Verlag