Algebraic and Coalgebraic Methods in the Mathematics of Program Construction - Backhouse, R; Crole, R; Gibbons, J (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2002)