Books written by Leslie Lamport.
Lamport was awarded the Turing Award in 2013 for fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
LaTeX: A Document Preparation System
LaTex is a software system for typesetting documents. Because it is especially good for technical documents and is available for almost any computer system, LaTex has become a lingua franca of the scientific world.
Specifying Systems: The TLA+ Language and Tools for Harware and Software Engineers
This work shows how to write unambiguous specifications of complex computer systems.