Algebraic Specification of Communication Protocols door S. Mauw