Becker, Ruben Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Becker, R. (2012). The Bolzano Method to Isolate the Roots of a Bitstream Polynomial. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.