Bereczky, P., I. Donkó, D. Horpácsi, A. Kaposi, and D. J. Németh. “Interactive Teaching of Programming Language Theory With a Proof Assistant”. Central-European Journal of New Technologies in Research, Education and Practice, vol. 2, no. 1, Apr. 2020, pp. 19-33, doi:10.36427/CEJNTREP.2.1.470.