1. A. Church, ?Applications of recursive arithmetic to the problem of circuit synthesis,? in:Summaries of the Summer Institute for Symbolic Logic, Cornell University, New York (1957), pp. 3?50.
2. J. R. Buchi, ?Weak second-order arithmetic and finite automata,?Z. Math. Logik Grundl. Math.,6, No. 1, 66?92 (1960).
3. B. A. Trakhtenbrot, ?Finite automata and one-place predicate logic,?Sib. Mat. Zh.,3, No. 1, 103?131 (1962).
4. B. A. Trakhtenbrot and Ya. M. Barzdin?,Finite Automata (Behavior and Synthesis) [in Russian], Nauka, Moscow (1970).
5. Yu. V. Kapitonova and A. A. Letichevskii,Mathematical Theory of Computer System Design [in Russian], Nauka, Moscow (1988).