1. Department of Mathematics and Computer Science, University of Perugia, Italy and Department of Computer Science, Hong Kong Baptist University, China
2. Department of Mathematics and Computer Science, University of Florence, Italy
3. Department of Mathematics and Computer Science, University of Perugia, Italy