DA Design and validation of computer protocols by Holzmann, Gerard J. fromPrentice Hall software series 0 Type: Book
AS Algebraic specification of communication protocols by Mauw, S., Veltink, G. J. fromCambridge tracts in theoretical computer science 0 Type: Book
