Medeiros, E., 		Magalhães, M., & 		Souza, W.
1992 nov  4.  Geração Automática de Especificações de Implementação a partir de Especificações Abstratas. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :