Phillipa L. Bennett Ezra Kaahwa Mugisa Towards a Formal Model for Software Component Composition using Whole-Part Theory. 639-644 2008 Software Engineering Research and Practice conf/serp/2008 db/conf/serp/serp2008.html#BennettM08