Algebraic specification of communication protocols /
Mauw, S.
Veltink, G. J.
Cambridge : Cambridge University Press,
1993.