1. Tanenbaum, A.S.: Computer Networks, 3rd edn. Prentice Hall International Editions, Englewood Cliffs (1996)
2. Gill, A.: Introduction to the Theory of Finite–State Machines. McGraw-Hill, New York (1962)
3. Hennie, F.C.: Fault–detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, pp. 95–110 (1964)
4. Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks 15, 285–297 (1988)
5. Kohavi, Z.: Switching and Finite Automata Theory. McGraw-Hill, New York (1978)