Stephen D. Brookes: A Semantically Based Proof System for Partial Correctness and Deadlock in CSP. LICS 1986: 58-65