Localização: IME - Inst. Matemática e Estatística (IME-RT-M QA233.RT I591 1992 v.12 e.1 ) e outros locais(Acessar)