(1)
Shivers, O.; Wand, M. Bottom-Up Beta-Substitution: Uplinks and Lambda-DAGs. BRICS 2004, 11.