ESTÉVEZ, E. C.; FILLOTTRANI, P. R. Bisimulation for component-based development. Journal of Computer Science and Technology, [S. l.], v. 1, n. 06, p. 14 p., 2002. Disponível em: https://journal.info.unlp.edu.ar/JCST/article/view/971. Acesso em: 16 may. 2025.