1. G.J. Holzman, Design and Validation of Computer Protocols, Prentice-Hall, Englewood, NJ, 1991.
2. K. Tarnay, Protocol Specification and Testing, Plenum Press, New York, 1991.
3. B. Sarikaya, Principles of Protocol Engineering and Conformance Testing, Ellis Horwood, Chichester, 1993.
4. K.J., Turner (Ed.), Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS, and SDL, Wiley, New York, 1993.
5. G. Andrews, Concurrent Programming: Principles and Practice, Benjamin Cummings, Redwood, CA, 1991.