Sagraloff, M. (2010). A General Approach to Isolating Roots of a Bitstream Polynomial. Mathematics in Computer Science, 4(4), 481-506. doi:10.1007/s11786-011-0071-8.