Theory of computation - Sipser, Michael (New Delhi Cengage Learning India Private Limited, 2007)
Keywords: Machine theory; Computational complexity