The Pragmatic Programmer

by Andy Hunt

Postconditions. What the routine is guaranteed to do;