Benaissa, Zine-El-Abidine, Pierre Lescanne, and Kristoffer H. Rose. “Modeling, Sharing, and Recursion for Weak Reduction Strategies Using Explicit Substitution”. BRICS Report Series 3, no. 56 (June 26, 1996). Accessed July 24, 2026. https://tidsskrift.dk/brics/article/view/18681.