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