Danvy, O.; Nielsen, L. R. Defunctionalization at Work. BRICS 2001, 8.