Un marco formal para transformaciones en la ingeniería de software conducida por modelos - Giandini, Roxana Silvia (2007)