Giandini, R. S. A Formal Foundation for Transformations in Model Driven Engineering. JCS&T 2008, 8, p. 46-47.