Введение в теорию абстрактных автоматов: учебное пособие для университетов - Кудрявцев В. Б. Валерий Борисович (Москва, Изд-во МГУ, 1985)