Markus Holzer Implementation and Application of Automata - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319088464 Subjects--Topical Terms: Computer ScienceTheory of Computation