The Pragmatic Programmer

by Andy Hunt

Class invariants. A class ensures that this condition is always true from the perspective of a caller.