Peter Naur, Programming as Theory Building https://pages.cs.wisc.edu/~remzi/Naur.pdf
Plaintext version https://gist.github.com/onlurking/fc5c81d18cfce9ff81bc968a7f342fb1
Programming as Theory Building - Peter Naur. GitHub Gist: instantly share code, notes, and snippets.