Communication protocol modeling (Artech House, 1981)