L. R. Nielsen, “A Denotational Investigation of Defunctionalization”, BRICS, bd. 7, nr. 47, jun. 2000.