Dept. Ciência da Computação, Instituto de Matemática e Estati´stica. Univ. de São Paulo (Brasil)