ZooKeeper ’ s atomic broadcast protocol : Theory and practice
The part-time parliament