A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages. - Jennifer Pandolfo; Cui Zhang (J. Object Technol., 2010)