On Formalization of the Whole-Part Relationship in the Unified Modeling Language. - Hee Beng Kuan Tan; Lun Hao; Yong Yang 002 (IEEE Trans. Software Eng., 2003)