The essence of program transformation by partial evaluation and driving (1994)

by N D Jones
Venue:Logic, Language and Computation, LNCS 792