Горянкин А.В. Верификация проектов аппаратных средств ЭВМ на основе параллельных описаний : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Горянкин, 1992. - 16 с. - Текст : непосредственный.