Perspectives of System Informaticsby Dines Bjørner, Manfred Broy, Alexandre V. ZamulinWriting a summary for young readers…For young readersBook data: Open Library