Localização: IME - Inst. Matemática e Estatística (QA734 B916u )(Acessar)
Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lnm v.573 ex.1 ) e outros locais(Acessar)