(1)
Danvy, O.; Schultz, U. P. Lambda-Dropping: Transforming Recursive Equations into Programs With Block Structure. BRICS 1999, 6.