О логических схемах алгоритмов. Проблемы кибернетики, вып. 1, 1958.
О тождественных преобразованеиях регулярных выражений. ДАН СССР, 147, № 2, 1962.
О существовании k-значных замкнутых классов, не имеющих конечного базиса. ДАН СССР, 127, № 1, 1959 (соавтор Мучник А. А.).
О локальных преобразованиях схем алгоритмов. Проблемы кибернетики, вып. 20, 1968.
Несколько теорем о свертках. Препринт ИПМ, № 95, 1978.
Предельно полная система правил эквивалентных преобразований для программ, вычисляющих всюду определенные функции. Проблемы кибернетики, вып. 37, 1980.
Метод разрешения семантических свойств алгоритмов. Mathematical Problems in Computational Theorie. Banach Center Publikations, vol. 21. Warsaw, 1988.
