Available at ICMC - Inst. Ciên. Mat. Computação (68-06 EC 1994 M775r e.2 ) and other locations(GetIt)