Hatcliff, J., & Danvy, O. (1997). Thunks and the lambda-Calculus (Extended Version). BRICS Report Series, 4(7). https://doi.org/10.7146/brics.v4i7.18797