Eílson Medeiros, Mauricio Magalhães, and Wanderley Souza. 1992.
Geração Automática de Especificações de Implementação a partir de Especificações Abstratas. In Anais do VI Simpósio Brasileiro de Engenharia de Software, novembro 04, 1992, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 187-201. DOI: https://doi.org/10.5753/sbes.1992.25183.