roposals,
      see <a class="link" href="boost_contract/bibliography.html" title="Bibliography">Bibliography</a> for a list
      of references considered during the design and implementation of this library,
      including the vast majority of contract programming proposals submitted to
      the C++ standard committee).
    </p>
</div>
<div class="footnotes">
<br><hr style="width:100; text-align:left;margin-left: 0">
<div id="ftn.boost_contract.f0" class="footnote"><p><a href="#boost_contract.f0" class=