Richard M. Karp et J.W. Thatcher « Reducibility among combinatorial problems » () (lire en ligne) —Proc. of a Symp. on the Complexity of Computer Computations — « (ibid.) », dans Complexity of Computer Computations, New York, Plenum (ISBN0-3063-0707-3), p. 85–103