Bonifácio, Adilson Luiz, e Fabio Adriano Lisboa Gomes. “Modelos Orientados a Estado Na especificação De Software”. Semina: Ciências Exatas E Tecnológicas, vol. 25, nº 2, dezembro de 2004, p. 163-70, doi:10.5433/1679-0375.2004v25n2p163.