1. Testing Software Design Modeled by Finite-State Machines
2. Hennie, F.C. (1964) Fault-detecting Experiments for Sequential Circuits. In Proc. 5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, November, pp. 95–110.
3. Prolog to: Principles and Methods of Testing Finite State Machines - A Survey
4. Moore, E.P. (1956) Gedanken-experiments. In Shannon, C. and McCarthy, J. Automata Studies, Princeton University Press.
5. Testing from Partial Deterministic FSM Specifications