Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems - L. Rodrigues (2010)