Вычислительные машины и труднорешаемые задачи - Гэри М., Джонсон Д. (Мир, 1982)