Introductiontothetheoryofcomputation,byMichaelsipser,PWSpublishers,1997