Medeiros, Eílson, 		Magalhães, Mauricio, E 		Souza, Wanderley.
" Geração Automática de Especificações de Implementação a partir de Especificações Abstratas" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (4 novembro 1992)