Зизин Г.В. Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11,05.13.12 / Г. В. Зизин, 1999. - 17 с. - Текст : непосредственный.