A. W. Roscoe, Jim Davies: CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing 2011: 478-482