Benaissa, Zine-El-Abidine, Pierre Lescanne, and Kristoffer H. Rose. 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.