Peter Wallis, Dept of Computer Science
University of Sheffield