Bereczky, P. et al. 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.