H. R. Nielson and F. Nielson, “Using Transformations in the Implementation of Higher-Order Functions”, DPB, vol. 19, no. 337, Oct. 1990.