The referenced article by Peter Naur (Turing Award winner, invented Backus-Naur-Form) is well worth a read.
Here is a link to a PDF version of this paper: [Programming as Theory Building -- Naur 1985] https://demo.cygale.net/naur1985programming.pdf
This demo website might disappear or at least the pdf might be removed from it. The stable version of this PDF is on my web page here: https://pablo.rauzy.name/dev/naur1985programming.pdf
EDIT: to the mods: maybe the link in the parent comment could be updated and my comment deleted? (I am the maintainer of cygale.net — the demo website can be edited by virtually anyone… my personal webpage is much more trustable).