Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2002)

(untitled) - Backhouse, R; Crole, R; Gibbons, J