P. Bereczky, I. Donkó, D. Horpácsi, A. Kaposi, and D. J. Németh, “Interactive Teaching of Programming Language Theory with a Proof Assistant”, CEJNTREP, vol. 2, no. 1, pp. 19–33, Apr. 2020.