[1]
Z. Ujhelyi, Ákos Horváth, and D. Varró, “Static Type Checking of Model Transformation Programs”,
ECEASST
, vol. 38, May 2011.