[1]
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.