Algebraic Specification of Communication Protocols by S. Mauw