Finite automata, formal logic, and circuit complexity - Straubing, Howard, 1952- (Birkhäuser, 1994)