Introduction to the theory of computation - Sipser Michael (New Delhi Thomson, 2007)
Keywords: Computational complexity; Machine theory