Nielsen, L. R. “A Denotational Investigation of Defunctionalization”. BRICS Report Series, vol. 7, no. 47, June 2000, doi:10.7146/brics.v7i47.20214.