1. Department of Computer Science, University of Bath, Bath, U.K.
2. Research Unit of Mathematical Sciences, University of Oulu, Oulu, Finland
3. Department of Information Technology, Uppsala University, Uppsala, Sweden
4. Mathematical Sciences and the School of Mathematical and Computer Sciences, Heriot–Watt University, Edinburgh, Scotland
5. University of Cambridge, Cambridge, U.K.