Peter Naur's Research Paper - Programming as Theory Building