ZUM '98 : the Z Formal Specification Notationby Jonathan P. Bowen, Andreas Fett, Michael G. HincheyWriting a summary for young readers…For young readersBook data: Open Library