O. Danvy and K. Millikin, “Refunctionalization at Work”, BRICS, vol. 14, no. 7, Mar. 2007.