John Keane, Department of Computation, UMIST, Manchester, UK. Mike O'Boyle, Department of Computer Science, University of Edinburgh, UK. Rizos Sakellariou, Department of Computer Science, University of Manchester, UK.