1. Departamento de Sistemas Informáticos y Computación, Universidad Politénica de Valencia, Camino de Vera s/n, P.O. Box: 22012, E-46020, Valencia, Spain
2. Department of Mathematics and Turku Centre for Computer Science, University of Turku, FIN-20014 Turku, Finland