1. Institute of Mathematical and Computer Sciences, University of São Paulo, Brazil
2. School of Eletrical Engineering and Computer Science, University of Ottawa, Canada
3. Department of Computer Science, University of Brasília, Distrito Federal, Brazil
4. Institute of Computing, University of Campinas, Brazil