Основы синтеза и диагностирования автоматов. Воронин В.В. - 9 стр.