Localização: ICMC - Inst. Ciên. Mat. Computação (65A20 S741s e.2 ) e outros locais(Acessar)
Localização: IME - Inst. Matemática e Estatística (QA420.T M431e )(Acessar)