BENAISSA, Z.-E.-A.; LESCANNE, P.; ROSE, K. H. Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution. BRICS Report Series, [S. l.], v. 3, n. 56, 1996. DOI: 10.7146/brics.v3i56.18681. Disponível em: https://tidsskrift.dk/brics/article/view/18681. Acesso em: 22 dec. 2024.