PDB - CIn/UFPE - (http://www.cin.ufpe.br/~if692)