The theory of invertible algorithms
Theory of computing systems
Treshold logic unit optimization by linear programming
Une formalisation de la sémantique des langages de programmation
Une formalisation de la sémantique des langages de programmation
Алгорифм как система подпрограмм и распределение памяти на параллельно работающем оборудовании
Выбор нумерации в задачах параллельного упорядочивания
Критерий полноты систем операций в программах с конечной памятью
О проведении выкладок в режиме ПРОРАБА
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
Об автоматическом построении вычислительных алгоритмов
Об основных понятиях параллельного упорядочивания
Обзор по методам синтеза программ
Процедурные механизмы абстракции
Решение некоторых задач параллельного упорядочивания