Sagraloff, M., & Mehlhorn, K. (2016). Computing Real Roots of Real Polynomials. Journal of Symbolic Computation, 73, 46-86. doi:10.1016/j.jsc.2015.03.004.