Hatcliff, J.; Danvy, O. Thunks and the Lambda-Calculus (Extended Version). BRICS 1997, 4.