Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson