A Proof Technique for Communicating Sequential Processes.

Gary Levin David Gries A Proof Technique for Communicating Sequential Processes. 281-302 1981 15 Acta Inf. db/journals/acta/acta15.html#LevinG81