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