Implementation and Application of Automata - Konstantinidis (Springer Berlin Heidelberg, 2013)