Mathematical Reasoning and Distributed Systems by Erik Meijer and Leslie Lamport