Чистяков Г.А. Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореф. дис. .. канд. техн. наук: 05.13.11, 05.13.15 / Г. А. Чистяков, 2014. - 22 с. - Текст : непосредственный.