Backand Mannila. On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Elsevier BV, 1985, doi:10.1016/0304-3975(85)90130-6.