Play Leslie Lamport Selected as 2013 ACM A.M. Turing Award Winner