Введение в теорию конечных автоматов: пер. с нем. - Брауэр В. Вильфрид (Москва, Радио и связь, 1987)