Programming as Theory Building-Peter Naur[pdf]
pages.cs.wisc.edu