<area shape="rect" href="$a00676.html" title="berry_sethi.hxx" alt="" coords="5,84,125,111">
<area shape="rect" href="$a00685.html" title="brzozowski.hxx" alt="" coords="149,84,267,111">
<area shape="rect" href="$a00857.html" title="krat_exp_derivation.hxx" alt="" coords="291,84,467,111">
<area shape="rect" href="$a00188.html" title="algorithms" alt="" coords="9,161,121,188">
<area shape="rect" href="$a00197.html" title="algorithms" alt="" coords="153,161,263,188">
