Ganesh Gopalakrishnan. Computation engineering - applied automata theory and logic. Springer, 2006. [doi]
@book{0017635, title = {Computation engineering - applied automata theory and logic}, author = {Ganesh Gopalakrishnan}, year = {2006}, doi = {10.1007/0-387-32520-4}, url = {http://dx.doi.org/10.1007/0-387-32520-4}, tags = {automata theory, logic}, researchr = {https://researchr.org/publication/0017635}, cites = {0}, citedby = {0}, publisher = {Springer}, isbn = {978-0-387-24418-1}, }