Optional Cachin book Ch2 Tanenbaum book Ch6 Leslie Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7): 558-565 (1978)