Paul Anderson, Dept. of Computer Science University of Edinburgh