Peter natur programming as theory

Link to PDF
https://pages.cs.wisc.edu/~remzi/Naur.pdf

Found in: https://blog.ceejbot.com/posts/programming-as-theory-building/