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”?

Important information to add to a comment.