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 February 11, 2026. https://tidsskrift.dk/brics/article/view/21959.