Implementation and Application of Automata - Sebastian Maneth (Springer, 2021)