3 ms·Spot on. You've described Peter Naur's "Programming as Theory Building" paper exactly.by hikarudo 4y agoSpot on. You've described Peter Naur's "Programming as Theory Building" paper exactly.