Erik Meijer and Leslie Lamport: Mathematical Reasoning and Distributed Systemschannel9.msdn.com1 pointanaphor12 years ago