Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
How Medical Tech Gave a Patient a Massive Overdose
Robert Wachter, MD
Hacker Bundle 2016 Sampler
Unknown
Johnny and the Dead
Pratchett, Terry
Johnny Maxwell (2)
The Gender Games
Juno Dawson