1. Н. Н. Стили и методы программирования. М.: Интернет-университет информационных технологий, 2005.
2. А. А. Программная реализация управляющих автоматов // Судостроительная промышленность. Сер. «Автоматика и телемеханика». 1991. Вып. 13. С. 41, 42.
3. А. А Парадигма автоматного программирования // Международная научно-техническая мультиконференция «Проблемы информационно-компьютерных технологий и мехатроники»: Материалы международной научно-технической конференции «Многопроцессорные вычислительные и управляющие системы (МВУС’2007)». Таганрог: НИИ МВС. 2007. Т. 1. С. 191–194.
4. А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998.
5.Ежегодные сборники «Всероссийская олимпиада школьников по программированию» / Под ред. В. Н. Васильева, В. Г. Парфенова и А. С. Станкевича. СПбГУ ИТМО. 2000–2008.
6. Н. И., Шалыто А. А. Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний: Проектная документация. СПб., 2002.
7.Вавилов К. В. LabVIEW и SWITCH-технология: Методика алгоритмизации и программирования задач логического управления. СПб., 2005.
8.Harel D., Pnueli A. On the development of reactive systems / In «Logic and Models of Concurrent Systems». NATO Advanced Study Institute on Logic and Models for Verification and Specification of Concurrent Systems. Springer Verlag, 1985, рp. 477–498.
9.Ахо А., Сети Р., Ульман Д. Компиляторы. Принципы, технологии, инструменты. М.: Вильямс, 2002.
Хопкрофт Д., Мотвани Р., Ульман Д.12. Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2002.