Дейкстра Э. Дисциплина программирования. М.: Мир, 1979.
"Селма-2". Описание функциональных блоков. АББ Стромберг Драйвс, 1989.
Autolog 32. Руководство пользователя. FF-Automation.
Programmable Controller. MELSEC - A. Programming Manual. Type ACPU. Common Instructions. Mitsubishi Electric.
Поспелов Д.А. Ситуационное управление. Теория и практика. М.:Наука, 1986.
Бутаков Е.А. Методы синтеза релейных устройств из пороговых элементов. М.: Энергия, 1970.
Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств. М.: Энергия, 1973.
Малюгин В.Д. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1982. N4.
Артюхов В.Л., Кондратьев В.Н., Шалыто А.А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988, N4.
Филд А., Харрисон П. Функциональное программирование. М.: Мир,1993. 11. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979.
Mistic Controller. Opto. Booklet N1-800-321-OPTO.
Nassi J., Shnenderman B. Flowcharte Techiques for Structured Programming //SIGPLAN Not. 1973. N8.
Ляпунов А.А. О логических схемах программ //Проблемы кибернетики. Вып.1. М.: Физматгиз, 1958.
Бардзинь Я.М., Калниньш А.А., Стродс Ю.Ф., Сыцко В.А. Язык спецификаций SDL /PLUS/ и методика его использования. Рига: ЛГУ, 1986.
Вельбицкий И.В. Технология программирования. Киев: Техника, 1984. 17. Питерсон Д. Теория сетей Петри и моделирование систем. М.: Мир, 1984.
Юдицкий С.А., Мачергут В.З. Логическое управление дискретными процессами. М.: Mашиностроение, 1987.
Мишель Ж. Программируемые контроллеры. Архитектура и применение. М.: Машиностроение, 1992.
Бергер Г. Программирование управляющих устройств на языке STEP-5. Том 1. Программирование основных функций. Сименс. 1982.
SIMATIC. Simatic S7/M7/C7. Programmable Controllers. SIEMENS. Catalog ST 70. 1996.
Modicon Modsoft. Руководство программиста. GM-MSFT-001. Ред.E. 1993.
Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. М.: Наука, 1977.
Амбарцумян А.А., Искра С.А., Кривандина Н.Ю. и др. Проблемно-ориентированный язык описания поведения систем логического управления //Проектирование устройств логического управления. М.: Наука. 1984.
Девятков В.В., Чичковский А.Б. Условие-82 - язык программно-логического управления //Автоматизация проектирования. Вып.2. М.: Машиностроение, 1990.
Горбатов В.А., Смирнов М.И., Хлытчев И.С. Логическое управление распределенными системами. М.: Энергоиздат, 1991.
Кузнецов О.П., Шипилина Л.Б., Марковский А.В. и др. Проблемы разработки языков логического программирования и их реализация на микроЭВМ (на примере языка "Ярус-2") //Автоматика и телемеханика. 1985. N6.
Кузнецов О.П. Графы логических автоматов и их преобразования //Автоматика и телемеханика. 1975. N9.
Шалыто А.А. Использование граф-схем алгоритмов и графов переходов при программной реализации алгоритмов логического управления //Автоматика и телемеханика. 1996. N6,7.
Апериодические автоматы. /В.И. Варшавский, Л.Я. Розенблюм, В.Б. Мараховский и др. М.: Наука, 1976.
Лингер Р., Миллс Х., Уитт С. Теория и практика структурного программирования. М.: Мир, 1982.
Буч Г. Объектно-ориентированное проектирование с примерами применения. Киев: Диалектика; М.: АО "ИВК", 1992.
Матчо Д., Фолкнер Д. DELPHI. М.: БИНОМ, 1995.
Шлеер С., Меллор С. Объектно-ориентированный анализ. Моделирование мира в состояниях. Киев: Диалектика, 1994.
Заде Л., Дезоер Ч. Теория линейных систем. Метод пространства состояний. М.: Наука, 1970.
Гнеденко Б.В. Курс теории вероятностей. М.: Наука, 1965.
Касьянов В.Н., Поттосин Н.В. Методы построения трансляторов. Новосибирск: Наука, 1986.
Мартынюк В.В. Об анализе графа переходов для операторной схемы //Журн. вычисл. математики и мат. физики. 1965. Т.5. N2.
Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб., Наука, 1998.
Шалыто А.А., Антипов В.В. Алгоритмизация и программирование задач логического управления. СПб.: Моринтех, 1996.
Project 15640. AS 21.DG1. CONTROL. АМИЕ. 95564.12M. St.Petersburg. ASS "Avrora", 1991.
Трахтенброт Б.А., Бардзинь Я.М. Конечные автоматы. Поведение и синтез. М.: Наука, 1970.
Functional Description. Warm-up & prelubrication logic. Generator Control Unit. Severnaya hull N431. Norcontrol, 1993.
Шалыто А.А. Программная реализация управляющих автоматов // Судостроит. пром-ть. Сер. Автоматика и телемеханика. 1991. Вып.13.