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 April 26, 2024. https://tidsskrift.dk/brics/article/view/18681.