Z.-E.-A. Benaissa, P. Lescanne, and K. H. Rose, “Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution”, BRICS, vol. 3, no. 56, Jun. 1996.