Available at ICMC - Inst. Ciên. Mat. Computação (Notas-SMA n.100 C263ci e.1 ) and other locations(GetIt)