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>Anais do VI Simpósio Brasileiro de Engenharia de Software,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.187-201.