Tools and Methods of Program Analysisby Anna Kalenkova, Jose A. Lozano, Rostislav YavorskiyWriting a summary for young readers…For young readersBook data: Open Library