ByNobleID
    Um Estudo Empírico Utilizando Z e UML para a Especificação de um Sistema de Informação | NobleID