Peter Naur – Programming as Theory Building (1985) [pdf]
pages.cs.wisc.edu