Realistic compilation by program transformation. Pages 181–192 of: Acm symposium on principles of programming languages (1989)

by Richard Kelsey, Paul Hudak