Programming as theory building (1985)

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

https://www.sciencedirect.com/science/article/abs/pii/0165607485900328?via%3Dihub

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

1 Like