Sipser

Introduction To The Theory Of Computation - Thomson 2005 - 392

511.3