Text this: Разработка и реализация алгоритмов логического синтеза комбинационных схем с использованием диагностических критериев: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01.