Algorithm 987: MANBIS - A C++ Mathematical Software Package for Locating and Computing Efficiently Many Roots of a Function: Theoretical Issues. - Dimitra-Nefeli A. Zottou; Dimitris J. Kavvadias; Frosso S. Makri; Michael N. Vrahatis (ACM Trans. Math. Softw., 2018)