Bonifácio, A.L. and Gomes, F.A.L. 2004. State-oriented models in software specification. Semina: Ciências Exatas e Tecnológicas. 25, 2 (Dec. 2004), 163–170. DOI:https://doi.org/10.5433/1679-0375.2004v25n2p163.