JEREMY GIBBONS is a Lecturer in Software Engineering and Continuing Education at the University of Oxford, and a Fellow of Kellogg College, UK.