Peter Naur, Programming as Theory Building (1985) [pdf]pages.cs.wisc.edu3 pointsraffael_dea month ago