FRENDRUP, U.; JENSEN, J. N. A Complete Axiomatization of Simulation for Regular CCS Expressions. BRICS Report Series, [S. l.], v. 8, n. 26, 2001. DOI: 10.7146/brics.v8i26.21686. Disponível em: https://tidsskrift.dk/brics/article/view/21686. Acesso em: 1 may. 2024.