Проблемы синтеза цифровых автоматов (Наука, 1967)