Martins, L.
(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>, (pp. 159-167). Porto Alegre: SBC.
doi:10.5753/sbsi.2005.14980