Логическое проектирование дискретных автоматов: языки, методы, алгоритмы - Гаврилов М. А. Михаил Александрович (Москва, Наука, 1977)