[Hailpern83] B.T. Hailpern and S.S. Owicki, Modular Verification of Computer Communication Protocols, IEEE, Communications, 31, 1, Jan, 1983. []