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