Fekete, I.; Gregorics, T.; Kovácsné Pusztai, K.; Veszprémi, A. Programming Theorems and Their Applications. Teach. Math. Comp. Sci. 2020, 17 (2), 213-241. https://doi.org/10.5485/TMCS.2019.0466.