Danvy, Olivier, and Ulrik P. Schultz. “Lambda-Dropping: Transforming Recursive Equations into Programs With Block Structure”. BRICS Report Series 5, no. 54 (December 3, 1998). Accessed November 24, 2024. https://tidsskrift.dk/brics/article/view/21959.