"para"><sup class="para">[1] </sup></a>
      Design by Contract (DbC) is a registered trademark of the Eiffel Software company
      and it was first introduced by the Eiffel programming language (see <a class="link" href="boost_contract/bibliography.html#Meyer97_anchor">[Meyer97]</a>).
    </p></div>
<div id="ftn.boost_contract.introduction.f0" class="footnote"><p><a href="#boost_contract.introduction.f0" class="para"><sup class="para">[2] </sup></a>
        In this example the function body is composed o