Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lnm v.1118 ) e outros locais(Acessar)
Localização: IME - Inst. Matemática e Estatística (REF. QA900 E57s )(Acessar)