ZooKeeper ’ s atomic broadcast protocol : Theory and practice
Paxos Made Simple