Formal Methods in Software and Systems Modelingby Ugo Montanari, Fernando Orejas, Hans-Jörg KreowskiWriting a summary for young readers…For young readersBook data: Open Library