Design and validation of computer protocols /
Holzmann, Gerard J.
London : Prentice-Hall International,
c1991.