Szlávi, P.; Zsakó, L.; Törley, G. Programming Theorems Have the Same Origin. CEJNTREP 2019, 1, 1-12.