Nielson, F., and H. R. Nielson. “Fitness Conditions for Fixed Point Iteration”. DAIMI Report Series, vol. 21, no. 384, Feb. 1992, doi:10.7146/dpb.v21i384.6617.