Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]research.microsoft.com5 pointsoskarth11 years ago