Toscani, Laira, E 		Veloso, Paulo.
" Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (25 outubro 1989)