personal page: 
http://www.dcc.unicamp.br/~rlachi