Paxos made live: an engineering perspective
The part-time parliament