Disponible en ICMC - Inst. Ciên. Mat. Computação (RT SSC nº362 N223to e.1 ) y otras localizaciones(Obténgalo)