Computable analysis - Aberth, Oliver (rz1, 1980)