H. R. Nielson and F. Nielson, “Bounded Fixed Point Iteration”, DPB, vol. 20, no. 359, Jul. 1991.