Fekete, István, Tibor Gregorics, Kinga Kovácsné Pusztai, and Anna Veszprémi. “Programming Theorems and Their Applications”. Teaching Mathematics and Computer Science 17, no. 2 (March 24, 2020): 213–241. Accessed April 30, 2024. https://ojs.lib.unideb.hu/tmcs/article/view/10957.