Implementation and Application of Automata - Domaratzki, Michael; Kanade, Takeo; Salomaa, Kai; Kittler, Josef (Springer Berlin Heidelberg, 2011)