Vvedenije v tretiju abstraktnych avtomatov - Kudrjavcev, Valerij Borisovič (Universitet, 1985)