Understanding Formal Methodsby Jean Francois Monin, Mike HincheyWriting a summary for young readers…For young readersBook data: Open Library