Partial Correctness of Communicating Sequential Processes - Chaochen, Z; Hoare, C (IEEE, 2015)