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