Paxos Made Simple
The part-time parliament