Rodríguez, Maritza, AND 		Masiero, Paulo.
" Apoio por Computador à Criação de Especificações Operacionais" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (24 October 1990)