Danvy, O. and Schultz, U. (1997) “Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure”, BRICS Report Series, 4(6). doi: 10.7146/brics.v4i6.18785.