Диагностирование логических схем. Алгоритмы моделирования и автоматического синтеза теста - Иоффе М. И. Михаил Израилевич (Москва, Наука, 1989)