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

by Martin Kleppmann

When a transaction wants to commit, it is checked, and it is aborted if the execution was not serializable.