3 ms·Erik Meijer and Leslie Lamport – Mathematical Reasoning and Distributed Systems3 points by kushti 11y ago