It's the philosophy behind How to Design Programs (https://htdp.org/) and Matthias' other educational works. On HtDP might be relevant to your interests (https://felleisen.org/matthias/OnHtDP/index.html)

From the linked article : "How to Design Programs is the first text book on programming that explicitly spells out how to construct programs in a systematic manner."