Elements Of The Theory Of Computation - Harry Lewis (Englewood Clifs, 1981)