Available at ICMC - Inst. Ciên. Mat. Computação (68N15.48 D325aj e.1 CD-ROM ) and other locations(GetIt)