Computers and intractability : a guide to the theory of NP-completeness - Garey, Michael R. (A series of books in mathematical sciences, 1979)