A Philosophy of Software Design

by John Ousterhout

If there are any preconditions that must be satisfied before a method is invoked, these must be described