Martins, Luiz Eduardo.
" Systems Specification, Formal Modeling, Semi-Formal Modeling, Information Systems Modeling, UML, Z." <em>Proceedings of the 2nd Brazilian Symposium on Information Systems,
Florianópolis, 2005</em>. SBC, 2005,  
pp.159-167.