Bereczky P, Donkó I, Horpácsi D, Kaposi A, Németh DJ. Interactive Teaching of Programming Language Theory with a Proof Assistant. CEJNTREP [Internet]. 2020 Apr. 28 [cited 2024 Nov. 21];2(1):19-33. Available from: https://ojs.elte.hu/cejntrep/article/view/470