Algebraic and Coalgebraic Methods in the Mathematics of Program ConstructionRoland C. Backhouse, Roy Crole, Jeremy Gibbons · First published 2003Open the Tome
