Female Serial Killers
Peter Vronsky
Tempered Steel
Correl Roush
Bitcoin for the Befuddled
Conrad Barski & Chris Wilmer
Network Distributed Computing: Fitscapes and Fallacies: Fitscapes ...
Max K. Goff
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport