Communication Protocol Modeling (Artech House, Inc, 1981)