Available at ICMC - Inst. Ciên. Mat. Computação (RT SCE n.263 V657do e.1 ) and other locations(GetIt)