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