My Top 100 Programming, Computer and Science Books: Part One
My favorite one is Concepts, Techniques, and Models of Computer Programming:<p><a href="https://www.info.ucl.ac.be/~pvr/book" rel="nofollow">https://www.info.ucl.ac.be/~pvr/book</a><p>I believe it's a terrific sequel to SICP, despite not using Lisp. The only little disappointment with the book is when they use Java as a canonical OO language to compare Oz/Mozart with. They should have used Smalltalk!<p>As a prequel to SICP, I love The Little Schemer.<p>I love The Art of Prolog too. As a modern successor to Prolog, <a href="https://probmods.org/" rel="nofollow">https://probmods.org/</a> is awesome.<p>If we talk about theoretical CS, <a href="http://en.wikipedia.org/wiki/Computers_and_Intractability" rel="nofollow">http://en.wikipedia.org/wiki/Computers_and_Intractability</a> is terrific. Very short and elegant.