Agreement with Satoshi - On the Formalization of Nakamoto Consensus.
Paxos made live: an engineering perspective