Falcão, João, 		Souza Junior, Adilson, E 		Meire, Alexandre.
" Modelo de Qualidade para Métodos e Linguagens de Especificação" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (22 outubro 1987)