Computability and Complexity Theory (2001)

by S Homer, A Selman