1. The Design and Analysis of Computer Algorithms;Aho,1976
2. The complexity of theorem proving procedures;Cook,1971
3. Some simplified NP-complete problems;Garey;Theor. Comp. Sci.,1976
4. Graph Theory;Harary,1972
5. A Method for the Construction of Minimum-Redundancy Codes;Huffman,1952