Vvedenie v teoriju abstraktnych avtomatov - Kudrjavcev, V. B. (IMU, 1985)