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