Specification and Verification of Concurrent Systemsby Charles RattrayWriting a summary for young readers…For young readersBook data: Open Library