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