Benaissa, Z.-E.-A., Lescanne, P., & Rose, K. H. (1996). Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution. BRICS Report Series, 3(56). https://doi.org/10.7146/brics.v3i56.18681