Nielson, F. and Nielson, H. R. (1992) “Fitness Conditions for fixed Point Iteration”, DAIMI Report Series, 21(384). doi: 10.7146/dpb.v21i384.6617.