Автоматический анализ рабочих программ Н.Б. Малышев; Т.Н. Смирнова Zapiski naucnych seminarov Leningradskogo
О некотором подходе к проблемной ориентации ЭВМ Т.Н. Смирнова; Н.Б. Малышев — 1973 Zapiski naucnych seminarov Leningradskogo
Арифметика больших целых чисел на ЭВМ типа M-20 Т.Н. Смирнова; Е.М. Костометова; Н.Б. Малышев — 1973 Zapiski naucnych seminarov Leningradskogo
Построение функции Ляпунова на модельной машине с крупноблочным режимом Т.Ф. Кравец; Н.Б. Малышев; Т.Н. Смирнова — 1976 Zapiski naucnych seminarov Leningradskogo
Конкретизация матричных операций для Прораб-машины В.П. Еремина; Н.Б. Малышев; Т.Н. Смирнова; Н.Б. Сциборская Zapiski naucnych seminarov Leningradskogo