Papadimitriou, Christos. Computational complexity Papadimitriou, Christos. - Addison-Wesley 1994 Dewey Class. No.: 511.3 / N94 PAP