Localização: IME - Inst. Matemática e Estatística (QA862.RT I59sc 1993 v.14 ) e outros locais(Acessar)
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-854159 ) e outros locais(Acessar)