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