Proof rules for communication abstractions - Taubenfeld, Gadi; Francez, Nissim (1984)