Computabilty and Complexity Theory (2001)

by S Homer, A L Selman