000			00356nam a2200145Ia 4500
008			190215s9999||||xx |||||||||||||| ||und||
020			_a9781461273097
082			_a511.3 _bKoz
100			_aKozen, Dexter C.
245		0	_aAutomata and Computability
260			_aNew York _bSpringer _c1997
300			_axiii, 400p.
650			_aMachine theory
942			_cBK
999			_c550 _d550