The "Hoare logic" of CSP, and all that (1984)

by Leslie Lamport, Fred B Schneider
Venue:ACM Transactions on Programming Languages and Systems