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