Sipser

Introduction To The Theory Of Computation - New Delhi Cengage 2015 - 458

511.3