Bonifácio, A. L., and F. A. L. 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.