L. R. Nielsen, “A Denotational Investigation of Defunctionalization”, BRICS, vol. 7, no. 47, Jun. 2000.