Communication and Theory in Programming

Hey all,

I recently read 'Programming as Theory Building' by Peter Naur (my background is in programming). It was a good read, and feels very prescient given the rise of AI and text generation. The paper references the more philosophical work of Karl Popper ('unembodied objects') and Gilbert Ryle ('Concept of Mind'). This leads me to my question; what other works / schools are best for areas surrounding communication, conveying theory, and translating these into rules? Apologies if I've absolutely butchered this description, hopefully it conveys what I'm trying to ask.