Design and validation of computer protocols - Holzmann, Gerard J. (Prentice-Hall AT&T Bell Telephone Laboratories, Inc., 1991)
Βιβλιογραφία: σσ. 351-368 Περιέχει ασκήσεις