Formal Methodsby Marieke Huisman, Corina Pasareanu, Naijun ZhanWriting a summary for young readers…For young readersBook data: Open Library