Первое, что приходит в голову, - Кормен, Лейзерсон, Ривест "Алгоритмы: построение и анализ". Там есть раздел, посвящённый NP-полноте, в том числе и сводимостям. Есть ещё какая-то книга, но единственное, что могу вспомнить, так это то, что в ней упоминается слово "бандерсвич". Гугл такого слова не знает.
