1. A. N. Chebotarev, “An approach to functional specification of automaton systems, I,” Kibern. Sistem. Anal., No. 3, 31–32 (1993).
2. A. N. Chebotarev, “An approach to functional specification of automaton systems, II,” Kibern. Sistem. Anal., No. 5, 3–17 (1993).
3. R. A. Aleksandryan and E. A. Mirzakhanyan, General Topology [in Russian], Vysshaya Shkola, Moscow (1979).
4. H. J. Hoogeboom and G. Rozenberg, “Infinitary languages: basic theory and applications to concurrent systems,” Lect. Notes Comput. Sci., Vol. 224, 266–342 (1986).
5. N. E. Kobrinskii and B. A. Trakhtenbrot, An Introduction to the Theory of Finite Automata [in Russian], Fizmatgiz, Moscow (1962).