Рогожин Ю.В. О формальных моделях компьютеров и вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / Ю. В. Рогожин, 1999. - 35 с. - Текст : непосредственный.