Danvy, O. and Schultz, U. P. (1999) “Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure”, BRICS Report Series, 6(27). doi: 10.7146/brics.v6i27.20096.