Computation Engineering Applied Automata Theory and Logic - Gopalakrishnan, Ganesh (Springer Science+Business Media LLC, 2006)