Refunctionalization at work - Danvy, Olivier; Millikin, Kevin (Science of Computer Programming, 2009)