J. Falcão, A. Souza Junior, and A. Meire. " Modelo de Qualidade para Métodos e Linguagens de Especificação", in Anais do I Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro/RJ, 1987, pp. 106-108, doi: https://doi.org/10.5753/sbes.1987.25221.