Finite automata, formal logic, and circuit complexity. - Birkhäuser Verlag, 1994. - ( Progress in Theoretical Computer Science ).