Vvedenie v teoriju avtomatov - Kudrjavcev, Valerij Borisovič (Nauka - Moskva, 1985)