Danvy, Olivier, and Ulrik P. Schultz. “Lambda-Dropping: Transforming Recursive Equations into Programs With Block Structure”. BRICS Report Series 4, no. 6 (January 6, 1997). Accessed September 27, 2024. https://tidsskrift.dk/brics/article/view/18785.