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

by Martin Kleppmann

Proving an algorithm correct does not mean its implementation on a real system will necessarily always behave correctly.