Notes on papers that I have read Time, Clocks, and the Ordering of Events in a Distributed System A Plea for Lean Software