Bonifácio, Adilson Luiz, and Fabio Adriano Lisboa Gomes. 2004. “State-Oriented Models in Software Specification”. Semina: Ciências Exatas E Tecnológicas 25 (2):163-70. https://doi.org/10.5433/1679-0375.2004v25n2p163.