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

by Martin Kleppmann

When the paused client comes back, it believes (incorrectly) that it still has a valid lease and proceeds to also write to the file.