Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
How Containers Work
Wizard Zines
Programming Erlang: Software for a Concurrent World
Joe Armstrong
Carpe Jugulum
Pratchett, Terry
Discworld (23)
Star-Crossed
LadyKarai