Computation engineering : applied automata theory and logic - Gopalakrishnan, Ganesh (Springer, 2006)