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 (Apr. 2020), 19–33. DOI:https://doi.org/10.36427/CEJNTREP.2.1.470.