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