Computers and Intractability: A guide to the Theory of NP-Completeness - Garey, Michael R. ; Johnson, David S.