Computability and Complexity Theory - Homer, Steven; Selman, Alan L. (Springer New York, 2001)