Требования к спецификации программ /Под ред. Агафонова В.Н. М.: Мир, 1984.
Клини С. Представление событий в нервных сетях и конечных автоматах //Автоматы. М.: Изд-во иностр. лит, 1956. С.17-27.
Ляпунов А.А. О логических схемах программ //Проблемы кибернетики. М.: Физматгиз, 1958. Вып.1. С.5-28.
Янов Ю.И. О логических схемах алгоритмов //Проблемы кибернетики. М.: Физматгиз, 1958. Вып.1. С.29-53.
Калужнин Л.А. Об алгоритмизации математических задач //Проблемы кибернетики. М.: Физматгиз, 1958. Вып.1. С.58-63.
Таль А.А. Анкетный язык и абстрактный синтез минимальных последовательностных машин //Автоматика и телемеханика (А и Т). 1964. N 6. С.38-49.
Гаврилов М.А., Девятков В.В., Чичковский А.Б. Язык операторных схем параллельных алгоритмов с памятью (язык ОСПАП) //Абстрактная и структурная теория релейныхустройств. М.: Наука, 1975. С.18-30.
Глушков В.М., Капитонова Ю.В., Летичевский А.А. О применении метода формализованных технических заданий к проектированию программ обработки структур данных //Программирование. 1978. N6. С.5-12.
Кузнецов О.П. Теория алгоритмических конечноавтоматных языков //А и Т. 1981. N 3. С.122-133. N4. C.127-135.
Кузнецов О.П., Шипилина Л.Б., Марковский А.В. и др. Проблемы разработки языков логического программирования и их реализация на микро - ЭВМ (на примере языка ЯРУС - 2) //А и Т. 1985. N 6. С.128-138.
Девятков В.В., Чичковский А.Б. Условие-82 - язык программно-логического управления //Автоматизация проектирования. М.: Машиностроение, 1990. Вып.2. С.58-67.
Амбарцумян А.А., Искра С.А., Кривандина Н.Ю. и др. Проблемно-ориентированный язык описания поведения систем логического управления ФОРУМ-М //Проектирование устройств логического управления. М.: Наука, 1984. С.35-47.
Юдицкий С.А., Покалев С.С. Логическое управление гибким интегрированным производством. Препринт. М.: Ин-т проблем управления, 1989.
Закревский А.Д. Языки логического управления. Препринт. Минск: Ин-т технической кибернетики, 1988.
Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. М.: Энергоатомиздат, 1989.
Флорин Ж. Таблицы этапов или сети Петри? //Теория дискретных управляющих устройств. М.: Наука, 1982. С.35-42.
Захаров В.Н. Секвенциальное описание управляющих автоматов //Изв. АН СССР. Техн.кибернетика. 1972. N2. С.58-65.
Фрайтаг Г.,Годе В., Якоби Х. и др. Введение в технику работы с таблицами решений. М.: Энергия, 1979.
Базиль Д. Реализация конечного автомата на языке Форт //Форт в исследованиях и разработках. Л.: Ленинградский гос. ун-т, 1991. Т.1. N1. С.5-8.
Сосье Г. Управляющие автоматы: моделирование, декомпозиция и реализация. //Теория дискретных управляющих устройств. М.: Наука. 1982. С.49-58.
Бардзинь Я.М., Калниньш А.А., Стродс Ю.Ф. и др. Язык спецификации SDL и методика его использования. Рига: Латвийский гос. ун-т. 1986.
Бергер Г. Программирование управляющих устройств на языке STEP 5. SIEMENS, 1982.
Мишель Ж. Программируемые контроллеры. Архитектура и применение. М.: Машиностроение, 1992.
Шалыто А.А. Программная реализация управляющих автоматов //Судостроительная промышленность. Сер. Автоматика и телемеханика. 1991. Вып.13. С.41-42.
Шалыто А.А. Технология программной реализации алгоритмов логического управления как средство повышения живучести //Тез. докл. научно-технической конф."Проблемы обеспечения живучести кораблей и судов". СПб.: Судостроение, 1992. С.87-89.
Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991.
Ершов А.П. Введение в теоретическое программирование. М.: Наука, 1977.
Схемы алгоритмов, программ, данных и систем. Условные обозначения и правила выполнения. ГОСТ 19.701-90 (ИСО 5807-85).
P - схемы алгоритмов и программ. ГОСТ 19.005 - 85.
Иодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979.
Лингер Р., Миллс Х., Уитт С. Теория и практика структурного программирования. М.: Мир, 1982.
Буч Г. Объектно - ориентированное проектирование с примерами применения. Киев: Диалектика, 1992.
Al 2000. Technical Description. FF-ELEKTRONIIKKA FREDRIKSSON KY, 1992.
Вирт Н. Программы = алгоритмы + данные. М.: Мир, 1988.
Брауэр В. Введение в теорию конечных автоматов. М.: Радио и связь, 1987.
Кузнецов О.П. Графы логических автоматов и их преобразования. //А и Т. 1975. N9. C.118-129.