Автоматное управление асинхронными процессами в ЭВМ и дискретных системах - Варшавский В.И (Наука, 1986)