-
Great SE Radio episode with Leslie Lamport on Distributed Systems (se-radio.net/2014/04/episode-203-leslie-lamport-on-distributed-systems/), now checking out channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems