The Reality Dysfunction
Peter F. Hamilton
Open Data Structures (in C++)
Pat Morin
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Questions Beginners Ask
SLAA Fellowship-Wide Services
Abraham Lincoln: Vampire Hunter
Seth Grahame-Smith