Implementation and Application of Automata - Markus Holzer, Martin Kutrib; Kutrib, Martin (Springer International Publishing, 2014)