Department of Computer Science, University of Manchester, UK. robert.stevens@cs.man.ac.uk|Department of Computer Science, University of Manchester, UK. robert.stevens@cs.man.ac.uk|Department of Computer Science, University of Manchester, UK. robert.stevens@cs.man.ac.uk