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

by Martin Kleppmann

Safety and liveness properties and system models are very useful for reasoning about the correctness of a distributed algorithm.