There are many notable things about Peter Naur’s paper “Programming as Theory-Building” (some of which I will return to at greater length soon), but part of what makes it so valuable is: it is clearly-written, with sharp prose. Would that more papers were like this.