Kelvin Dias, Jose A. Suruagy Monteiro, Danilo Florissi.
http://www.lbd.dcc.ufmg.br/colecoes/sbrc/1999/052.pdf