Martins, Luiz Eduardo.
" Um Estudo Empírico Utilizando Z e UML para a Especificação de um Sistema de Informação" <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (26 outubro 2005)