Computability and complexity theory - Homer, S.; Selman, Alan L. (Texts in computer science, 2011)