Finite Automata, Formal Logic, And Circuit Complexity by Howard Straubing