Shivers, O. and Wand, M. (2004) “Bottom-Up beta-Substitution: Uplinks and lambda-DAGs”, BRICS Report Series, 11(38). doi: 10.7146/brics.v11i38.21863.