"A Semantically Based Proof System for Partial Correctness and Deadlock in CSP"

Stephen D. Brookes (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics