E. Willink, “Modeling the OCL Standard Library”, eceasst, vol. 44, Oct. 2011.