Peter Naur: Programming as Theory Building (1985)(dc.uba.ar)
dc.uba.ar
Peter Naur: Programming as Theory Building (1985)
http://www.dc.uba.ar/materias/plp/cursos/material/programmingAsTheoryBuilding
1 comments
https://news.ycombinator.com/item?id=10833278