Localização: IME - Inst. Matemática e Estatística (QA611.3 J73s 1992 )(Acessar)
Localização: ICMC - Inst. Ciên. Mat. Computação (06B05 J72ss ) e outros locais(Acessar)