Marcel Kyas An Extended Type System for OCL Supporting Templates and Transformations. 83-98 2005 conf/fmoods/2005 FMOODS http://dx.doi.org/10.1007/11494881_6 db/conf/fmoods/fmoods2005.html#Kyas05