Localização: EPBC - Esc. Politécnica-Bib Central (007 B326i )(Acessar)
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.8 e.1 ) e outros locais(Acessar)