Hatcliff, J.; Danvy, O. Thunks and the Lambda-Calculus. BRICS 1996, 3.