Paxos made live: an engineering perspective
How to Build a Highly Available System Using Consensus