Синтез микропрограммных автоматов - Баранов С.И (Энергия, 1974)