FM 2008 : Formal Methodsby Jorge Cuellar, Tom MaibaumComputer software, developmentSystem designWriting a summary for young readers…For young readersBook data: Open Library