Computability and complexity theory - Homer, S. (Texts in computer science, 2001)