Every day Peter Naur’s paper programming as theory building gets more relevant

Link: https://gwern.net/doc/cs/algorithm/1985-naur.pdf