Элементы алгебраической теории автоматов: учебное пособие - Плоткин Б. И. Борис Исаакович (Москва, Высшая школа, 1994)