Advanced Linux Programming
Codesourcery Llc & Mark L. Mitchell & Alex Samuel & Jeffrey Oldham
Elm in Action MEAP V03
Richard Feldman
Time For The Stars
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Well of Ascension
Brandon Sanderson
Mistborn (2)