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

by Martin Kleppmann

An algorithm is correct in some system model if it always satisfies its properties in all situations that we assume may occur in that system model.