Turns out that Better World Books had a copy of Peter Naur’s “Computing: A Human Activity” which contains the article “Programming as Theory Building”. It arrived today. Yay! https://mastodon.social/@stuartmarks/116129932739467965