[1]
J. Hatcliff and O. Danvy, “Thunks and the lambda-Calculus”, BRICS, vol. 3, no. 19, Jan. 1996.