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>Proceedings of the 6th Brazilian Symposium on Software Engineering</em>, (pp. 187-201). Porto Alegre: SBC.
doi:10.5753/sbes.1992.25183