O. Danvy and K. Millikin, “Refunctionalization at Work”, BRICS, vol. 15, no. 4, Jun. 2008.