Об одном способе описания максимальных подсистем алгебр А.А. Савельев — 1982 Verojatnostnye metody i kibernetika
Критерий полноты систем операций в программах с конечной памятью А.А. Савельев — 1990 Verojatnostnye metody i kibernetika
Об алгориметрической полноте некоторых систем функций и предикатов Ю.В. Голунков; А.А. Савельев — 1984 Verojatnostnye metody i kibernetika
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств Ю.В. Голунков; А.А. Савельев — 1987 Verojatnostnye metody i kibernetika