В книге Виктора Михайловича Глушкова "Синтез цифровых автоматов" представлены основы математической логики и основы проектирования автоматов. Автор рассматривает алгоритмические и логические основы автоматизации процессов, влияющие на развитие вычислительных систем и технологий.