REYNOSO, L. A.; BUCCELLA, A.; FLORES, A. P.; ARANDA, G. N. Component-based tool for verifying applications using object-oriented patterns. Journal of Computer Science and Technology, [S. l.], v. 2, n. 01, p. p. 42–48, 2002. Disponível em: https://journal.info.unlp.edu.ar/JCST/article/view/961. Acesso em: 28 apr. 2025.