, University of Manchester. Department of Computer Science and Mathematics, United Kingdom