1. LIGM, CNRS, Université Gustave Eiffel, Paris, France.
2. School of Computing, Newcastle University, Newcastle upon Tyne, NE4 5TG, UK.
3. School of Computing, University of Leeds, Leeds, LS2 9JT, UK.
4. Department of Computer Science, University of Durham, Durham, DH1 3LE, UK.