Toscani, L., & 		Veloso, P.
1989 out 25.  Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :