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), pp. 163–170. doi: 10.5433/1679-0375.2004v25n2p163.