Eílson Barbosa Medeiros, Maurício Ferreira Magalhães, Wanderley Lopes de Souza. Geração Automática de Especificações de Implementação a partir de Especificações Abstratas. In Daltro José Nunes, Ana Maria de Alencar Price, Loreta Scheuer de O. Ramos, editors, Proceedings of the 6th Brazilian Symposium on Software Engineering, SBES 1992, Gramado, RS, Brazil, November 4-6, 1992. pages 187-201, SBC, 1992. [doi]
Abstract is missing.