Bereczky, Péter, István Donkó, Dániel Horpácsi, Ambrus Kaposi, and Dávid János Németh. 2020. “Interactive Teaching of Programming Language Theory With a Proof Assistant”. Central-European Journal of New Technologies in Research, Education and Practice 2 (1):19-33. https://doi.org/10.36427/CEJNTREP.2.1.470.