3 ms·Obligatory Hoare link: http://usingcsp.com/cspbook.pdf http://usingcsp.com/cspbook.pdfby MaysonL 13y agoObligatory Hoare link: http://usingcsp.com/cspbook.pdf http://usingcsp.com/cspbook.pdf