Computation and State Machines (2008) [pdf]lamport.azurewebsites.net9 points·btrask··1 commentOpen articleSaveView on HN