H. Bock Axelsen, “Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates”, IUSTL, bd. 7, nr. 1-2, jun. 2023.