Szlávi P, Zsakó L, Törley G. Programming Theorems Have the Same Origin. CEJNTREP [Internet]. 2019 Aug. 26 [cited 2024 Jul. 3];1(1):1-12. Available from: https://ojs.elte.hu/cejntrep/article/view/380