Reaching Agreement in the Presence of Faults (1980) [pdf]
lamport.azurewebsites.net