[Twisol]

Peter Naur's "Programming as Theory Building" is a classic essay, and absolutely worth reading. This transcription [1] (with some extra remarks at the end by the transcriptor?) is pretty accessible.

[1] https://pablo.rauzy.name/dev/naur1985programming.pdf