E. Medeiros, M. Magalhães, and W. Souza.
" Geração Automática de Especificações de Implementação a partir de Especificações Abstratas", in <em>Proceedings of the 6th Brazilian Symposium on Software Engineering</em>, Gramado/RS, 1992, pp. 187-201, doi: <a href="https://doi.org/10.5753/sbes.1992.25183">https://doi.org/10.5753/sbes.1992.25183</a>.