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

by Martin Kleppmann

We just need to remember that the low-level reliability features are not by themselves sufficient to ensure end-to-end correctness.