- Вопросы инструментальной поддержки визуальной
обработки
иерархических графовых моделей.
1998
- Инструментальные средства преобразования
программ.
1987
- Методы расширения в языках спецификации и системах
преобразования программ методами преобразований.
1986
- О работах лаборатории в области систем учебной
информатики.
1994
- Организация учебной и научно-исследовательской работы
студентов по программированию на механико-
математическом
факультете НГУ.
1990
- Смешанные вычисления и оптимизация программ.
1983
- Средства поддержки применения графов в
программировании.
2000
- СОКРАТ: окружение надежного и эффективного
программирования.
1995
- Средства поддержки супервычислений.
1998
- Трансформационный подход к конструированию и
оптимизации
программ.
1990
