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