Rodríguez, Maritza, and Paulo Cesar Masiero. " Apoio por Computador à Criação de Especificações Operacionais." Anais do IV Simpósio Brasileiro de Engenharia de Software, Águas de São Pedro/São Paulo, 1990. SBC, 1990, pp.203-217.