O. Shivers og M. Wand, “Bottom-Up beta-Substitution: Uplinks and lambda-DAGs”, BRICS, bd. 11, nr. 38, dec. 2004.