Isotani, Seiji, Instituto de Ciências Matemáticas e de Computação - ICMC Universidade de São Paulo - USP São Carlos, Brasil, Brazil