L. Martins.
" Systems Specification, Formal Modeling, Semi-Formal Modeling, Information Systems Modeling, UML, Z", in <em>Proceedings of the 2nd Brazilian Symposium on Information Systems</em>, Florianópolis, 2005, pp. 159-167, doi: <a href="https://doi.org/10.5753/sbsi.2005.14980">https://doi.org/10.5753/sbsi.2005.14980</a>.