Algebraic specification of communication protocols - Mauw, S.; Veltink, G. J. (Cambridge University Press, 1993)
βιβλιογραφια:σσ.189-192