Nielson, H. R., & Nielson, F. (1991). Bounded Fixed Point Iteration. DAIMI Report Series, 20(359). https://doi.org/10.7146/dpb.v20i359.6589