Computability and Complexity Theory by S. Homer & Alan L. Selman