HATCLIFF, J.; DANVY, O. Thunks and the lambda-Calculus. BRICS Report Series, v. 3, n. 19, 19 Jan. 1996.