Towards a Formal Model for Software Component Composition using Whole-Part Theory. - Phillipa L. Bennett; Ezra Kaahwa Mugisa (Software Engineering Research and Practice, 2008)