Distributed Systems, Distributed Algorithms, Algorithms, Paxos, Consensus.
Lamport. It uses a parliament analogy which people found hard to get past when the paper was originally published. Paxos Made Simple — the rewrite by Lamport without the Parliament analogy. While simple, one can miss the forest for the trees. Requires multiple readings to grok. Paxos Made Live —