This blog does pretty good job summarizing Naur's points. (My only quibble is equating mental models with theory in Naur's sense, but its an okay approximation). I definitely recommend people read the original paper. It's a flawed but beautiful paper.
Shameless self plug:
We just did an episode on Naur's Programming as Theory Building in the most recent episode of the Future of Coding Podcast.