Finite automata, formal logic, and circuit complexity - Straubing, Howard (Birkhäuser, 1994)
Literaturverz. S. 217 - 222