Bereczky, P.; Donkó, I.; Horpácsi, D.; Kaposi, A.; Németh, D. J. Interactive Teaching of Programming Language Theory With a Proof Assistant. CEJNTREP 2020, 2, 19-33.