The Pragmatic Programmer

by Andy Hunt

But if we can't use contracts by hand, we won't be able to use them automatically. So next time you design a piece of software, design its contract as well.