tp://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html" target="_top">Proposal
          to add Contract Programming to C++</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N1962 and
        J16/06-0032 - The C++ Standards Committee - ISOCPP</a>
      . </span><span class="date">February 25, 2006. </span>Crowl &amp; Ottosen</p>
</div>
<div class="biblioentry">
<a name="dietz"></a><p>[dietz] <span class="au