1. A. N. Chebotarev, “Extension of the automaton specification logical language and the synthesis problem,” Kibern. Sist. Anal., No. 6, 11–27 (1996).
2. A. N. Chebotarev, “An approach to functional specification of automaton systems. I,” Kibern. Sist. Anal., No. 5, 31–32 (1993).
3. A. G. Kurosh, General Algebra [in Russian], Nauka, Moscow (1974).
4. N. E. Kobrinskii and B. A. Trakhtenbrot, An Introduction to Finite Automata Theory [in Russian], Fizmatgiz, Moscow (1962).