Z. Daróczy, “Gaussian iteration of mean values and the existence of 2^(1/2)”, Teach. Math. Comp. Sci., vol. 1, no. 1, pp. 35–42, Jun. 2003, doi: 10.5485/TMCS.2003.0009.