Martins, L.
(2005).
 Systems Specification, Formal Modeling, Semi-Formal Modeling, Information Systems Modeling, UML, Z.
In <em>Proceedings of the 2nd Brazilian Symposium on Information Systems</em>, (pp. 159-167). Porto Alegre: SBC.
doi:10.5753/sbsi.2005.14980