Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Mort
Pratchett, Terry
Discworld (4)
The Happiest Days of Our Lives
Wil Wheaton
Dead and Alive
Dean R. Koontz
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer