Schnellreferenz zu Microsoft Code Contracts als PDF.
Dazu gibt es das in der Doku verwendete Demoprojekt, das alle Aspekte der Code Contracts mit Beispielmethoden und Unit Tests behandelt.