Fekete, István, Tibor Gregorics, Kinga Kovácsné Pusztai, and Anna Veszprémi. 2020. “Programming Theorems and Their Applications”. Teaching Mathematics and Computer Science 17 (2): 213-41. https://doi.org/10.5485/TMCS.2019.0466.