"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction" - читать интересную книгу автора (Roland Backhouse, Roy Crole, Jeremy Gibbons)