Gb17 stateofthe networkreport
A prototype for an extended PROOF
Paxos: Agreement for Replicated State Machines