Stephen A. Cook An Overview of Computational Complexity. 400-408 1983 26 Commun. ACM 6 db/journals/cacm/cacm26.html#Cook83 http://doi.acm.org/10.1145/358141.358144