Implementation and Application of Automata - Carayol; Nicaud, Cyril (Springer International Publishing, 2017)