BERECZKY, P.; DONKÓ, I.; HORPÁCSI, D.; KAPOSI, A.; NÉMETH, D. J. 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: 20 apr. 2024.