Philip M. Merlin: A Methodology for the Design and Implementation of Communication Protocols. IEEE Trans. Commun. 24(6): 614-621 (1976)