Implementation and Application of Automata - Arnaud Carayol, Cyril Nicaud (Springer, 2017)