Programming as Theory Building
..
An article by
Peter Naur
(1985).
https://pages.cs.wisc.edu/~remzi/Naur.pdf