Nielson, H. R., and F. Nielson. “Using Transformations in the Implementation of Higher-Order Functions”. DAIMI Report Series, vol. 19, no. 337, Oct. 1990, doi:10.7146/dpb.v19i337.6568.