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