BERECZKY, Péter; DONKÓ, István; HORPÁCSI, Dániel; KAPOSI, Ambrus; NÉMETH, Dávid János. Interactive Teaching of Programming Language Theory with a Proof Assistant. Central-European Journal of New Technologies in Research, Education and Practice, [S. l.], v. 2, n. 1, p. 19–33, 2020. DOI: 10.36427/CEJNTREP.2.1.470. Disponível em: https://ojs.elte.hu/cejntrep/article/view/470. Acesso em: 19 jul. 2026.