An introduction to the theory of formal languages and automata - Levelt, W. J. M. (John Benjamins Pub., 2008)