https://123dok.net/document/y6elx4oz-contraction-maps-and-applications-to-the-analysis-of-iterative-algorithms.html