, Department of Computer Science, Harrison Building, University of Exeter, Exeter EX4 4QF, UK