Янов Ю.И. О логических схемах алгоритмов// Сб. «Проблемы кибернетики». Вып.1. М.: Физматгиз, 1958. С. 75–127

Янов Ю.И. О логических преобразованиях схем алгоритмов// Сб. «Проблемы кибернетики». Вып.20. М.: Физматгиз, 1967. С.201–216.

Криницкий Н.А. , Миронов Г.А., Фролов Г.Д. Программирование и алгоритмические языки. М.: Наука, 1975. –496 с

Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. М.: Наука. Гл. ред.физ.-мат.лит., 1988. –296 с

Мамиконов А.Г., Кульба В.В. Синтез оптимальных модульных систем обработки данных. М.: Наука, 1986.

Мелихов А.Н. Ориентированные графы и конечные автоматы.М.: Наука, 1971

Вальковский В.А. Распараллеливание алгоритмов и программ. Структурный подход. М.: Радио и связь, 1989

Миллер Р. Теория переключательных схем . М.: Наука, 1970. Т.1.

Айзерман М.А. и др. Логика. Автоматы. Алгоритмы. М.: Физматгиз, 1963

Меренков Н.Н. Параллельное программирование для многомодульных ВС. М.: Радио и связь, 1989

Самофалов К.Г. ,Луцкий Г.М. Основы теории многоуровневых конвейерных ВС. М.: Радио и связь, 1989

Зыков А.А. Теория конечных графов. Новосибирск: Наука, 1969

Мусаев М.У. Средства формализованного описания и преобразования автоматов и алгоритмов, ориентированных на проектирование ВС/ Ташк. политехн. ин-т. Ташкент, 1988. –29 с