There's "the CSP book", by Tony Hoare himself: http://usingcsp.com/cspbook.pdf