Синтез управляющих автоматов - Лазарев В. Г. Владимир Георгиевич (Москва, Энергия, 1989)