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