Formal Models and Practical Tools for Information Systems Designby Hans-Jochen SchneiderWriting a summary for young readers…For young readersBook data: Open Library