Toscani, L., & 		Veloso, P.
(1989).
 Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal.
In <em>Proceedings of the 3rd Brazilian Symposium on Software Engineering</em>, (pp. 228-238). Porto Alegre: SBC.
doi:10.5753/sbes.1989.25262