1. Ajtai, M.: $${\Sigma }_{1}^{1}$$-formulae on finite structures. Ann. Pure Appl. Logic 24(1), 1–48 (1983)
2. Barrington, D.A.M.: Bounded-width polynomial-size branching programs recognize exactly those languages in NC$${^1}$$. J. Comput. Syst. Sci. 38(1), 150–164 (1989)
3. Barrington, D.A.M., Thérien, D.: Finite monoids and the fine structure of NC$${^1}$$. J. ACM 35(4), 941–952 (1988)
4. Eilenberg, S.: Automata, Languages, and Machines, vol. A. Academic Press, New York (1974)
5. Eilenberg, S.: Automata, Languages, and Machines, vol. B. Academic Press, New York (1976)