Колесников Константин Васильевич. Дедуктивный метод моделирования неисправностей для синтеза тестов цифровых систем, реализуемых в программируемой логике : Дис... канд. техн. наук: 05.13.12 / Харьковский национальный ун-т радиоэлектроники. — Х., 2003. — 171 — Библиогр.: л. 136-150.