@book{gar-joh-79-intr, author = {M. R. Garey and David S. Johnson}, title = {Computers and Intractability: {A} Guide to the Theory of {NP}-Completeness}, year = 1979, publisher = {W. H. Freeman} }