000 00261nam a2200109Ia 4500
008 220201s2007 xx 000 0 eng d
100 _aKozen, Dexter C.
245 0 _aTheroy of Computation
260 _aNew Delhi
_bSpringer
_c2007
300 _a418
942 _2ddc
999 _c65191
_d65191