, 2008, 'Interpolation in computing science: the semantics of modularization', Synthese 164 (3), 437-450.