Misfit
Robert A. Heinlein
Soul Music
Pratchett, Terry
Discworld (16)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Elm in Action MEAP V04
Richard Feldman
Categories for the Working Mathematician
Saunders Mac Lane