Hatcliff, John, and Olivier Danvy. “Thunks and the Lambda-Calculus”. BRICS Report Series 3, no. 19 (January 19, 1996). Accessed February 18, 2020. https://tidsskrift.dk/brics/article/view/19981.