Related concepts in Peter Naur's "Programming as Theory Building" [0] or Gerald Sussman's "Problem Solving by debugging-almost Right Plans" [1]

[0] https://pages.cs.wisc.edu/~remzi/Naur.pdf [1] https://www.youtube.com/watch?v=2MYzvQ1v8Ww