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