Computability and Complexity Theory - Homer, Steven; Selman, Alan L. (Springer US, 2011)