Code Contracts Primer

Code Contracts Primer by Derik Whittaker looks like a nice intro to Code Contracts:

1. Introduction
2. Handling Legacy Code
3. Providing Support for Unit Tests
4. Utilizing Pre and Post Conditions
5. Utilizing Object Invariants
6. Interface Contracts