1. Hoperoft, J.E., and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.
2. Savage, J.E., Models of Computation, Addison-Wesley, Reading, MA, 1998.
3. Sipser, M., Introduction to the Theory of Computation, PWS Publishing Company, Boston, 1997.
4. Arnold, A., Finite Transition Systems, Prentice-Hall, Englewood Cliffs, NJ, 1994.
5. Harel, D., and M. Politi, Modeling Reactive Systems with Statecharts: The Statemate Approach, Wiley, New York, 1998.