Programming as theory building (1985)

Veritably ancient by today’s standards but some good insights still here:

And a few more resources for people with too much time on their hands: