Algebraic specification of communication protocols (Cambridge University Press, 1993)