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

by Martin Kleppmann

Similarly, we can write down the properties we want of a distributed algorithm to define what it means to be correct.