Modular Verification of Computer Communication ProtocolsBrent T. HailpernSusan S. Owicki1983IEEE Transactions on Communications