Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Moving Pictures
Pratchett, Terry
Discworld (10)
The Legend Of Koizumi 66
Unknown
Starman Jones
Robert A. Heinlein
Categories for the Working Mathematician
Saunders Mac Lane