INTRODUCTION TO THE THEORY OF COMPUTATION - Sipser,Michael (Thomson, Australia, 2006)
Keywords: Machine Theory; Computational Complexity