Bonifácio, A. L.; Gomes, F. A. L. State-Oriented Models in Software Specification. Semin., Exact Tech. Scienc. 2004, 25, 163-170.