Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

by Martin Kleppmann

Intuitively, it seems as though strict quorum reads and writes should be linearizable in a Dynamo-style model.