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