Hatcliff, J. and Danvy, O. (1997) “Thunks and the lambda-Calculus (Extended Version)”, BRICS Report Series, 4(7). doi: 10.7146/brics.v4i7.18797.