Developing and verifying protocols in CSP - Roscoe, A (TU Eindhoven, 1993)