Computability and Complexity Theory - Steven Homer, Alan L. Selman ((Texts in Computer Science))