- Architecture of ZAB – ZooKeeper Atomic Broadcast protocol
- ZooKeeper Atomic Broadcast (Zab) protocol
- Dynamic Reconfiguration of Primary/Backup Clusters
- ZooKeeper - A Reliable, Scalable Distributed Coordination System
See attachment for the proof of correctness written for Zab (ZooKeeper Atomic Broadcast)