Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Sagraloff, Michael Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, K., & Sagraloff, M. (2011). A Deterministic Algorithm for Isolating Real Roots of a Real Polynomial. Journal of Symbolic Computation, 46(1), 70-90. doi:10.1016/j.jsc.2010.09.004.