Introduction To The Theory Of Computation - Sipser(Michael) (1996)
15