Danvy, O. and Schultz, U. P. (1998) “Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure”, BRICS Report Series, 5(54). doi: 10.7146/brics.v5i54.21959.