Unifying theories of programmingby C. A. R. HoareComputer programmingWriting a summary for young readers…For young readersBook data: Open Library