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). doi: 10.7146/brics.v3i56.18681.