1. Communications in Computer and Information Science;A Cerone,2021
2. What I’ve Learned About Formal Methods In Half a Year (2023). https://jakob.space/blog/what-ive-learned-about-formal-methods.html
3. Make Formal Verification and Provably Correct Software Practical and Mainstream. Comments posted in May 2022. https://news.ycombinator.com/item?id=31543953
4. Wonnacott, D.G., Osera, P.M.: A bridge anchored on both sides: formal deduction in introductory CS, and code proofs in discrete math. arXiv preprint arXiv:1907.04134 (2019)
5. Meyer, J., Land, R.: Threshold concepts and troublesome knowledge: linkages to ways of thinking and practising within the disciplines. ETL Project Occasional Report 4 (2003). http://www.ed.ac.uk/etl/docs/ETLreport4.pdf