A Philosophy of Software Design

by John Ousterhout

Are there certain properties that are always true for the variable (invariants), such as “this list always contains at least one entry”?