Apt, Krzysztof R.; de Roever Nissim and Willem P. "A Proof System for Communicating Sequential Processes"

(1980) TOPLAS 2(3) July 1980  

Languages mentioned CSP {1978} Communicating Sequential Processes