Computational complexity - Papadimitriou, Christos H. 1949- (Addison-Wesley Publ. Co., 1994)