Why Functional Programming Matters
John Hughes
An introduction to logic programming through Prolog
Michael Spivey
Learnable Programming
Unknown
Red Planet
Robert A. Heinlein
Halo
Tom Maddox