Finite automata, formal logic, and circuit complexity - Straubing, Howard (Progress in theoretical computer science, 1994)