Introduction to theory of computation - Sipser Michael; Sipser Michael (Delhi Cengage Learning, 2013)
Bibliography 443-447p.; Index 448-458p.
Keywords: Decidability; Intractability; Space complexity