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