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