Вопросы декомпозиции в конвейерных вычислителях К.В. Шахбазян, Т.А. Тушкина, M.M. Лебединский (1987) Zapiski naucnych seminarov Leningradskogo
Критерий полноты систем операций в программах с конечной памятью А.А. Савельев (1990) Verojatnostnye metody i kibernetika
Микропрограммные базисы на регистрах сдвига с четырмя обратными связями Ю.В. Голунков (1976) Verojatnostnye metody i kibernetika