Ujhelyi, Z.; Horváth, Ákos; Varró, D. Static Type Checking of Model Transformation Programs. ECEASST 2011, 38.