Bereczky, P., Donkó, I., Horpácsi, D., Kaposi, A., & 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), 19–33. https://doi.org/10.36427/CEJNTREP.2.1.470