1. Shalyto, A.A., SWITCH-Technology, Algoritmizatsiya i programmirovanie zadach logicheskogo upravleniya (Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998, http://is.ifmo.ru/books/switch/1/
2. Shalyto, A.A., Automaton Program Design. Algorithmization and Programming of Logic Control Problems, Izv. Ross. Akad. Nauk, Teor. Sist. Upr., 2000, no. 6, pp. 63–81, http://is.ifmo.ru
3. Shalyto, A.A., Algorithmization and Programming for Logic Control Problems and “Reactive” Systems, Avtom. Telemekh., 2001, no. 1, pp. 3–39, http://is.ifmo.ru
4. Shalyto, A.A. and Tukkel, N.I., Programming with Explicit Selection of States, Mir PK, 2001, no. 8, pp. 116–121, no. 9, pp. 132–138, http://is.ifmo.ru
5. Shalyto. A.A. and Tukkel, N.I., SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems, Programmirovanie, 2001, no. 5, pp. 45–62. [Programming Comput. Software (Engl. Transl.), 2001, vol. 27, no. 5, pp. 260–276].