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

by Martin Kleppmann

Safety is often informally defined as nothing bad happens, and liveness as something good eventually happens.