Author: School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford)