Implementation and Application of Automata - Domaratzki, Michael; Kanade, Takeo; Okhotin, Alexander; Salomaa, Kai; Yu, Sheng (Springer Berlin / Heidelberg, 2005)