Изготовление электронных копий любых изданий

Новый математический аппарат для анализа внешнего поведения и верификации программ / Н. А. Абрамова, Т. С. Баталина, Н. А. Гегамов, С. В. Коврига; РАН. Ин-т пробл. упр.