Nielson, H. R.; Nielson, F. Using Transformations in the Implementation of Higher-Order Functions. DPB 1990, 19.