Конечные автоматы и логика одноместных предикатов Б.А. Трахтенброт — 1962 Sibirskij matematiceskij zurnal
О сложности алгоритмов сведения в конструкциях Новикова-Буна. Б.А. Трахтенброт — 1969 Algebra i Logika
Тьюринговы вычисления с логарифмическим замедлением Б.А. Трахтенброт; B.A. Trachtenbrot; B.A. Trachtenbrot; B.A. Trahtenbrot — 1964 Algebra i Logika
О частотном вычислении функций Б.А. Трахтенброт; B.A. Trachtenbrot; B.A. Trahtenbrot; B.A. Trakhtenbrot — 1963 Algebra i Logika