Active Quorum Systems: Specification and Correctness Proof - Bessani, Alysson (2010)
Reviewed by Miguel Correia