[1]
H. Aris and S. S. Salim, “Properties for Component Model: The definition Perspective”, CAI, vol. 30, no. 5, pp. 987–1010, Jan. 2012.