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