P. Szlávi, L. Zsakó, and G. Törley, “Programming Theorems Have the Same Origin”, CEJNTREP, vol. 1, no. 1, pp. 1–12, Aug. 2019.