Computers and intractability

Garey, Johnson