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