Found in 3 comments on Hacker News
petilon · 2015-07-04 · Original thread
Another book like this: "How to solve it by computer" see: http://www.amazon.com/Solve-Computer-Prentice-Hall-Internati...
DanBC · 2013-09-14 · Original thread
Cool - next they should try "How to Solve it by computer" (http://www.amazon.com/Computer-Prentice-Hall-International-S...)
And if you're specifically trying to design an algorithm, you might look into "How to Solve It by Computer" by R.G. Dromey, which was inspired by the former:

http://www.amazon.com/Solve-Computer-Prentice-Hall-Internati...

Fresh book recommendations delivered straight to your inbox every Thursday.