Algebraic specification of communication protocols - Mauw, S.; Veltink, G. J. (Cambridge University Press, 1993)
Title from publisher's bibliographic system (viewed on 05 Oct 2015)