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