Localização: ICMC - Inst. Ciên. Mat. Computação (68U25.98 H823d e.1 ) e outros locais(Acessar)
Localização: IME - Inst. Matemática e Estatística (QA752 H823d )(Acessar)