Toscani, Laira, and Paulo A. S. Veloso.
" Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.228-238.