Falcão, João, Adilson Emanuel de Souza Junior, and Alexandre Pereira Meire. " Modelo de Qualidade para Métodos e Linguagens de Especificação." Anais do I Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro/RJ, 1987. SBC, 1987, pp.106-108.