Olivier Danvy Ulrik Pagh Schultz Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. 90-106 1997 PEPM db/conf/pepm/pepm97.html#DanvyS97 http://doi.acm.org/10.1145/258993.259007