In the August 2009 issue of MSDN Magazine , we have a CLR Inside Out article on the BCL’s experience with adding code contracts to the BCL . It includes both an overview of the feature, as well as a few best practices we came up with as we went along...