1. V.V. Semenov, “Dynamic Programming in Synthesis of Logical-Dynamic Systems,” Priborostroenie, No. 2 (1984).
2. V.V. Semenov, V.M. Repin, and N.E. Zhurina, Algorithmization of Aircraft Control Processes in the Class Logical-Dynamic Systems (Mosk. Aviats. Inst., Moscow, 1987) [in Russian].
3. A. S. Bortakovskii, “Sufficient Optimality Conditions for Control of Deterministic Logical-Dynamic Systems,” in Informatika, Ser. Computer Aided Design, Issue 2,3 (VNIIMI, Moscow, 1992) [in Russian].
4. A. S. Bortakovsky, “Synthesis of Optimal Automaton Part of Deterministic Logic-Dynamical System,” in Proceedings of IFAC Workshop on Modeling and Analysis of Logic Controlled Dynamic Systems, Irkutsk, Russia, 2003.
5. A. V. Panteleev and A. S. Bortakovskii, Control Theory in Examples and Tasks (Vysshaya Shkola, Moscow, 2003) [in Russian].