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