M. Bräuer and B. Demuth, “Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support”, ECEASST, vol. 9, Nov. 2007.