We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
"Programming as Theory-Building" is an article by PeterNaur.
This paper elaborates on similar concepts: https://www.zora.uzh.ch/id/eprint/88170/1/GlinzFricker2013.pdf