- Архитектура систем конкретизации.
1983
- Инструментальные средства преобразования программ.
1987
- Комбинаторные задачи анализа программ в оптимизирующей
трансляции.
1975
- Оптимизация программ: обзор подходов.
1982
- Оптимизирующие преобразования программ и
их
обоснование методами теории крупноблочных схем.
1986
- Паскаль Б. Инструкция по программированию.
1981
- Паскаль-360. Инструкция по программированию.
1982
- Подход к специализации по информатике и
программированию в рамках системы непрерывного
образования.
1995
- Практический подход к оптимизации программ.
1978
- Преобразования аннотированных программ.
1988
- Проблемы преобразования программ.
1988
- Разгрузка участков повторяемости.
1979
- СИМИКС — информационная система для поддержки
гуманитарных исследований в области культуры.
1997
- Системы конкретизации: подход и основные понятия.
1982
- Эквивалентные и оптимизирующие преобразования
крупноблочных
схем и программ.
1988
- Язык программирования Cloud Sisal.
2018
