Erik Meijer and Leslie Lamport – Mathematical Reasoning and Distributed Systemschannel9.msdn.com3 pointskushti11 years ago