Localização: ICMC - Inst. Ciên. Mat. Computação (15-01 T717ga e.1 ) e outros locais(Acessar)
Localização: IME - Inst. Matemática e Estatística (QA162 T717g 2.ed. )(Acessar)