O. Danvy and L. R. Nielsen, “Defunctionalization at Work”, BRICS, vol. 8, no. 23, Jun. 2001.