Computation Engineering Applied Automata Theory and Logic - Gopalakrishnan, Ganesh; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media LLC, 2006)
Keywords: Computer science -- Mathematics; Computer logic; Machine theory; Computer Science; Electronic and Computer Engineering; Theory of Computation; Mathematical Logic and Formal Languages; Circuits and Systems