BONIFÁCIO, A. L.; GOMES, F. A. L. State-oriented models in software specification. Semina: Ciências Exatas e Tecnológicas, [S. l.], v. 25, n. 2, p. 163–170, 2004. DOI: 10.5433/1679-0375.2004v25n2p163. Disponível em: https://ojs.uel.br/revistas/uel/index.php/semexatas/article/view/1571. Acesso em: 9 may. 2024.