Fekete, I., Gregorics, T., Kovácsné Pusztai, K., & Veszprémi, A. (2020). Programming Theorems and Their Applications. Teaching Mathematics and Computer Science, 17(2), 213-241. https://doi.org/10.5485/TMCS.2019.0466