Vvedenije v teoriju abstraktnych avtomatov - Kudrjavcev, V. B.; Podkolzin, A. S.; Uščumlič, Š (Izdatel'stvo Moskovskogo Universiteta, 1985)