Дискретные автоматы с обнаружением отказов - Сапожников В. В. Валерий Владимирович (Ленинград, Энергоатомиздат, 1984)