Introducing Formal Methodsby Neville Ford, Judith FordWriting a summary for young readers…For young readersBook data: Open Library