Dept of Computer Science, Warwick Uni, UK