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