Maggiolo-Schettini, Andrea, Universití  di Pisa Dipartimento di Informatica Largo Pontecorvo 3, 56127 Pisa, Italy, Italy