Martins, Luiz Eduardo.
" Um Estudo Empírico Utilizando Z e UML para a Especificação de um Sistema de Informação." <em>Anais do II Simpósio Brasileiro de Sistemas de Informação,
Florianópolis, 2005</em>. SBC, 2005,  
pp.159-167.