Hatcliff, John, and Olivier Danvy. 1997. “Thunks and the Lambda-Calculus (Extended Version)”. BRICS Report Series 4 (7). https://doi.org/10.7146/brics.v4i7.18797.