1. M. O. Rabin and D. Scott, ?Finite automata and solvability problems,? in: Collection of Papers in Cybernetics [Russian translation], No. 4, Moscow (1962).
2. B. A. Trakhtenbrot, ?Turing computations with logarithmic delay,? Algebra Logika, No. 3 (1964).
3. V. N. Red'ko, ?Definor algebras and algebras of languages,? Kibernetika, No. 4 (1973).
4. L. P. Lisovik, ?Generalized finite generators and the problem of identity of the definor algebra of regular events,? Kibernetika, No. 1 (1975).
5. S. A. Greibach, ?Push-down store automata and regular systems,? Proc. Am. Math. Soc.,18, No. 2 (1967).