Communicating Sequential Processes C. A. R. Hoare http://www.usingcsp.com/cspbook.pdf