Из руководства пользователя :
Начиная с CLR v4, Контракт
класс и связанные типы проживают в
mscorlib.dll. До CLR v4 эти
типы появляются в отдельной сборке
называется Microsoft .Contracts. это что
установлен под
% ProgramFiles% / Microsoft / Контракты / PublicAssemblies.
Вам может понадобиться добавить ссылку на
эта сборка, если вы компилируете
против предварительно 4.0 CLR.
У вас могут возникнуть некоторые интересные проблемы, если вы хотите использовать одну и ту же сборку как для 3.5 , так и для 4.0 (я не знаю - это может просто сработать), но если вы просто используете 3.5, это должно быть хорошо.
Расширение устанавливается в VS2008, а также VS2010, я считаю.