Implementation and Application of Automata - Domaratzki, Michael (Springer Berlin Heidelberg, 2011)