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