A calculus of total correctness for communicating processesby C. A. R. HoareWriting a summary for young readers…For young readersBook data: Open Library