I. Fekete, T. Gregorics, K. Kovácsné Pusztai, and A. Veszprémi, “Programming Theorems and Their Applications”, Teach. Math. Comp. Sci., vol. 17, no. 2, pp. 213–241, Mar. 2020, doi: 10.5485/TMCS.2019.0466.