an class="surname">Svoboda</span>, <span class="firstname">Alex</span> <span class="surname">Volkovitsky</span>, and <span class="firstname">Timothy</span> <span class="surname">Wilson</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://resources.sei.cmu.edu/asset_files/TechnicalNote/2009_004_001_15074.pdf" target="_top">As-if
          Infinitely Ranged Integer Model</a>
