Available at ICMC - Inst. Ciên. Mat. Computação (NOTAS SMA nº347 D975Lg e.1 ) and other locations(GetIt)