С чего начать работу с кодовыми контрактами?

Я увидел потрясающую демонстрацию C# Code Contracts и хочу начать внедрять их в свой код. Хотел бы я, чтобы они уже были в моем коде. С чего начать?

Печатные материалы из демо я не забрал. Любое предлагаемое чтение?

Есть предложения для новичков в Code Contracts?

Заранее спасибо за помощь.