iv><h2 class="title" style="clear: both">
<a name="safe_numerics.bibliography"></a>Bibliography</h2></div></div></div>
<div class="bibliography">
<div class="titlepage"><div><div><h3 class="title">
<a name="idm75964929184"></a>Bibliography</h3></div></div></div>
<div class="biblioentry">
<a name="coker"></a><p>[coker] <span class="author"><span class="firstname">Zack</span> <span class="surname">Coker</span>. </span><span class="author"><span class="firstname">Samir</span> <span class="surname">Hasan</span>