Toscani, L., & 		Veloso, P.
(1989).
 Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal.
In <em>Anais do III Simpósio Brasileiro de Engenharia de Software</em>, (pp. 228-238). Porto Alegre: SBC.
doi:10.5753/sbes.1989.25262