Algebraic Specification of Communication Protocols by S. Mauw – Formal MethodsS. Mauw, G. J. Veltink₹5,150