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

by Martin Kleppmann

depending on what else happened, it’s sometimes possible to prove that the result of the execution is nevertheless serializable.