"Realistic Compilation by Program Transformation."

Richard Kelsey, Paul Hudak (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics