Generalized Consensus and Paxos
Paxos Made Simple