See the home page at http://www.dcc.ufmg.br/~loureiro