Vvedenije v teoriju konečnych avtomatov - Gill, Arthur (Nauka, 1966)