Geração Automática de Especificações de Implementação a partir de Especificações Abstratas. - Eílson Barbosa Medeiros; Maurício Ferreira Magalhães; Wanderley Lopes de Souza (SBES, 1992)