Computability and complexity theory - Homer, Steven; Selman, Alan L. (Springer, 2011)