The Theory Of Computation by Bernard M. Moret