Hour-long video interview with Leslie Lamport (March 2010)channel9.msdn.com10 pointscannedprimates16 years ago