The Pragmatic Programmer

by Andy Hunt

31. Design with Contracts. 111 Use contracts to document and verify that code does no more and no less than it claims to do.