Robin Milner gave a presentation “Is Informatics a Science?” at a conference at ENS, 10 December 2007, where he discussed the challenge of better understanding relationships between models in computer science – how they “explain” (specify, refine, implement, abstract, realise) each other. I don’t believe he captured these thoughts in a journal or conference paper, but the ENS presentation follows an earlier similar 2006 presentation (for which there is a transcript) on “Scientific Foundation for Global Computing” .
An audio recording of the ENS presentation exists. I’ve created a PDF transcript of that recording. However, I don’t have the slides that Robin presented – I’d be interested to have a copy if anyone could send me one.