A Philosophy of Software Design

by John Ousterhout

Invariants reduce the number of special cases that must be considered in code and make it easier to reason about the code’s behavior.