The Forever War
Joe Haldeman
An introduction to logic programming through Prolog
Michael Spivey
Learnable Programming
Unknown
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Anathem
Neal Stephenson