Medeiros, E., 		Magalhães, M., & 		Souza, W.
(1992).
 Geração Automática de Especificações de Implementação a partir de Especificações Abstratas.
In <em>Anais do VI Simpósio Brasileiro de Engenharia de Software</em>, (pp. 187-201). Porto Alegre: SBC.
doi:10.5753/sbes.1992.25183