Stephen H. Edwards, Westley Haggard. A Flexible Strategy for Embedding and Configuring Run-Time Contract Checks in .Net Components. International Journal of Software Engineering and Knowledge Engineering, 17(3):315-338, 2007. [doi]
Abstract is missing.