Peter Naur, Programming as Theory Building (1985) [pdf] | Dark Hacker News