Fekete I, Gregorics T, Kovácsné Pusztai K, Veszprémi A. Programming Theorems and Their Applications. Teach. Math. Comp. Sci. [Internet]. 2020 Mar. 24 [cited 2024 Apr. 30];17(2):213-41. Available from: https://ojs.lib.unideb.hu/tmcs/article/view/10957