(1)
Aris, H.; Salim, S. S. Properties for Component Model: The Definition Perspective. CAI 2012, 30, 987-1010.