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