Martins, L.
2005 Oct 26.  Systems Specification, Formal Modeling, Semi-Formal Modeling, Information Systems Modeling, UML, Z. Proceedings of the Brazilian Symposium on Information Systems (SBSI). [Online] :