Fundamentals of Algebraic Specification 2by Hartmut Ehrig, Bernd MahrWriting a summary for young readers…For young readersBook data: Open Library