Medeiros, Eílson, Mauricio Ferreira Magalhães, and Wanderley Lopes de Souza.
" Geração Automática de Especificações de Implementação a partir de Especificações Abstratas." <em>Proceedings of the 6th Brazilian Symposium on Software Engineering,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.187-201.