Hatcliff, John, and Olivier Danvy. “Thunks and the Lambda-Calculus (Extended Version)”. BRICS Report Series 4, no. 7 (January 7, 1997). Accessed April 23, 2024. https://tidsskrift.dk/brics/article/view/18797.