Computational complexity - Papadimitriou, Christos H. 1949- (Addison-Wesley, 2003)