Luiz Eduardo Martins. 2005.
 Um Estudo Empírico Utilizando Z e UML para a Especificação de um Sistema de Informação. In <em>Anais do II Simpósio Brasileiro de Sistemas de Informação</em>, outubro 26, 2005, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 159-167. DOI: <a href="https://doi.org/10.5753/sbsi.2005.14980">https://doi.org/10.5753/sbsi.2005.14980</a>.