Computers and Intractability: A Guide to the Theory of NP-Completeness (Michael R. Garey and David S. Johnson)