1. A. N. Chebotarev, “Extension of the automaton specification logical language and the synthesis problem,” Cybernetics and Systems Analysis, No. 6, 756–765 (1996).
2. A. N. Chebotarev, “Approach to functional specification of automaton systems,” Cybernetics and Systems Analysis, No. 3, 330–337 (1993).
3. A. Gill, Introduction to the Theory of Finite State Machines [Russian translation], Nauka, Moscow (1966).
4. A. N. Chebotarev, “Synthesis of a procedural representation of an automaton specified in the logical language L*. I,” Cybernetics and Systems Analysis, No. 4, 505–515 (1997).
5. A. N. Chebotarev, “Synthesis of a procedural representation of an automaton specified in the logical language L*. II,” Cybernetics and Systems Analysis, No. 6, 845–853 (1997).