Fahndrich, et al.. Integrating a Set of Contract Checking Tools into Visual Studio. IEEE, 2012, doi:10.1109/topi.2012.6229809.