I. J. Brzozowski, Derivatives of regular expressions, J. ACM, vol.11, pp.481-494, 1964.

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.

D. Perrin and F. Automata, Formal Models and Semantics, pp.3-57, 1990.