Leslie Lamport: Computer Science and State Machines (2008) [pdf]research.microsoft.com·46 pts·pron·14
Leslie Lamport: How to Write a 21st Century Proof (2014) [video]heidelberg-laureate-forum.org·60 pts·pron·6
Reforming Open Source Licensing with the Creative Commons Modeloraclejavamagazine-digital.com·2 pts·pron·0
Stanford Biologist and Computer Scientist Discover the 'Anternet' (2012)engineering.stanford.edu·2 pts·pron·1