Зыков А.Г. Методы верификации аппаратно-программных компонентов вычислительных систем : автореф. дис. .. канд. техн. наук: 05.13.12 / А. Г. Зыков, 2008. - 23 с. - Текст : непосредственный.