Вербицкий Олег Васильевич. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : Дис...канд. физ.-мат. наук: 01.01.06 / Московский гос. ун-т им. М.В.Ломоносова. — М., 1994. — 73л. — Библиогр.:л.69-73.