J. Hatcliff og O. Danvy, “Thunks and the lambda-Calculus (Extended Version)”, BRICS, bd. 4, nr. 7, jan. 1997.