DANVY, O.; MILLIKIN, K. A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. BRICS Report Series, [S. l.], v. 14, n. 8, 2007. DOI: 10.7146/brics.v14i8.21931. Disponível em: https://tidsskrift.dk/brics/article/view/21931. Acesso em: 28 apr. 2024.