The AI Con
Emily M. Bender
Night's Dawn Trilogy The
Peter Hamilton
Ordeal in Space
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Prodigal Son
Dean Koontz & Kevin J. Anderson
Dean Koontz's Frankenstein: City of Night
Dean Ray Koontz & Edward Gorman