Leslie Lamport: The Future of Computing: Logic or Biologyresearch.microsoft.com12 pointsparenthesis17 years ago