Leslie Lamport: Computer Science and State Machines (2008) [pdf]research.microsoft.com46 pointspron11 years ago