Reducibility Among Combinatorial ProblemsComplexity of Computer Computations - Karp, RM; Miller, RE; Thatcher, JW (Plenum, 1972)
pp