* [everything-you-always-wanted-to-know-about-synchronization-but-were-afraid-to-ask](http://sigops.org/sosp/sosp13/papers/p33-david.pdf) * [time-clocks-and-the-ordering-of-event-in-a-distributed-system](http://www.stanford.edu/class/cs240/readings/lamport.pdf)