Yet Another Visit to Paxos
Asynchronous byzantine agreement protocols