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