M. R. Garey David S. Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979 0-7167-1044-7