Algebraic Specification of Communication Protocols, Cambridge Tracts in Theoretical Computer Science