1. — Hopcroft, J.E., R. Motwani, and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3/E, Addison-Wesley, Reading, MA, 2007.
2. — Sipser, M., Introduction to the Theory of Computation, Second Edition, Thomson Course Technology, Boston, 2006.
3. — Arnold, A., Finite Transition Systems, Prentice-Hall, Englewood Cliffs, NJ, 1994.
4. — Harel, D., and M. Politi, Modeling Reactive Systems with Statecharts: The State-mate Approach, Wiley, New York, 1998.
5. — Kurshan, R.P., Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, Princeton University Press, NJ, 1994.