PeterNaur's essay "Programming as Theory Building" (1985) can be found, among other places, as an appendix to AlistairCockburn's AgileSoftwareDevelopment.
See ProgramsRepresentMentalModels and SystemMetaphor
Programming As Theory Building
last modified: February 19, 2003