Bonifácio, Adilson Luiz, and Fabio Adriano Lisboa Gomes. “State-Oriented Models in Software Specification”. Semina: Ciências Exatas e Tecnológicas 25, no. 2 (December 15, 2004): 163–170. Accessed May 9, 2024. https://ojs.uel.br/revistas/uel/index.php/semexatas/article/view/1571.