[1]
O. Shivers and M. Wand, “Bottom-Up beta-Substitution: Uplinks and lambda-DAGs”, BRICS, vol. 11, no. 38, Dec. 2004.