João M. O. Alves, Leonardo Bidese de Pinho, Cláudio Luis Amorim.
http://www.lbd.dcc.ufmg.br/colecoes/wp2p/2009/002.pdf