Hatcliff, J. and Danvy, O. 1996. Thunks and the lambda-Calculus. BRICS Report Series. 3, 19 (Jan. 1996). DOI:https://doi.org/10.7146/brics.v3i19.19981.