I wish I could upvote twice. Lamport's writing is _very_ accessible ( at least to this college dropout ) and I really enjoyed reading Time, Clocks and the Ordering of Events. Paxos Made Simple is another favorite: http://research.microsoft.com/en-us/um/people/lamport/pubs/p....