Program Proofsby K. Rustan M. Leino, Kaleb LeinoWriting a summary for young readers…For young readersBook data: Open Library