Algebraic and Coalgebraic Methods in the Mathematics of Program Constructionby Roland C. Backhouse, Roy Crole, Jeremy GibbonsWriting a summary for young readers…For young readersBook data: Open Library