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