Jeremy Gibbons is a Lecturer in Software Engineering and Continuing Education at the University of Oxford. and a fellow of Kellogg College. Oege De Moor is a Professor in Computer Science at the University of Oxford, and a Fellow of Magdalen College.