1. School of Computer Science, University of St Andrews, North Haugh, UK
2. School of Mathematics, Statistics and Applied Mathematics, National University of Ireland, Galway, University Road, Ireland
3. Department of Mathematics, Colorado State University, Fort Collins, CO, USA