Stumbled across this old, dense, programming theory paper today:
The author says that building a program is done by constructing a detailed understanding of how it works in the minds of the programmers.
They go a bit far in some of their statements, but the general idea is interesting. That programmers are primarily thinking about how their program fits into the wider system and the world, rather than by producing design or user documentation.
Especially interesting for compiler writers!