1. Graph coloring by humans and machines;Dailey,1978
2. The complexity of theorem-proving procedures;Cook,1971
3. Reducibility among combinatorial problems;Karp,1972
4. Some simplified NP-complete graph problems;Garey;Theoretical Computer Science,1976
5. The design and Analysis of Computer Algorithms;Aho,1974