BONIFÁCIO, Adilson Luiz; GOMES, Fabio Adriano Lisboa. 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: 17 jul. 2024.