Relational and Algebraic Methods in Computer Scienceby Roland Glück, Luigi Santocanale, Michael WinterWriting a summary for young readers…For young readersBook data: Open Library