Теоремы о временной иерархии для машин с произвольным доступом к памяти А.Г. Иванов (1979) Zapiski naucnych seminarov Leningradskogo
Тьюринговы вычисления с логарифмическим замедлением Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trachtenbrot, B.A. Trahtenbrot (1964) Algebra i Logika
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга А.О. Слисенко (1977) Zapiski naucnych seminarov Leningradskogo
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов Р.И. Фрейдзон (1975) Zapiski naucnych seminarov Leningradskogo