Available at ICMC - Inst. Ciên. Mat. Computação (73C01 N813 v.1 e.1 )(GetIt)
Available at IME - Inst. Matemática e Estatística (QA302.C3 K72n v.2 )(GetIt)