Enzo B Onofre (Faculty of Computing, Federal University of Uberlandia, Brazil), Leonardo M P Moraes (Institute of Mathematics and Computer Sciences, University of Sao Paulo, Brazil), Cristina D Aguiar (Institute of Mathematics and Computer Sciences, University of Sao Paulo, Brazil)