Department of Computer Science, University of Sheffield, Sheffield, UK. hamish@gate.ac.uk|Department of Computer Science, University of Sheffield, Sheffield, UK. hamish@gate.ac.uk|Department of Computer Science, University of Sheffield, Sheffield, UK. hamish@gate.ac.uk|Department of Computer Science, University of Sheffield, Sheffield, UK. hamish@gate.ac.uk