Formal Justification of a Proof System for Communicating Sequential Processes. 197--216 (1983)

by K R Apt
Venue:Journal of the ACM (JACM