Bereczky, Péter, István Donkó, Dániel Horpácsi, Ambrus Kaposi, and Dávid János Németh. “Interactive Teaching of Programming Language Theory With a Proof Assistant”. Central-European Journal of New Technologies in Research, Education and Practice 2, no. 1 (April 28, 2020): 19–33. Accessed April 26, 2024. https://ojs.elte.hu/cejntrep/article/view/470.