Finite Automata Formal Logic and Circuit Complexity by Howard Straubing, Hardcover | Indigo Chapters