[1]
M. Kuhlmann and M. Gogolla, “Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships”,
ECEASST
, vol. 9, Nov. 2007.