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