J. Hatcliff and O. Danvy, “Thunks and the lambda-Calculus (Extended Version)”, BRICS, vol. 4, no. 7, Jan. 1997.