Sipser

Introduction To The Theory Of Computation - New Delhi Cengage 2006 - 411

004.1