Giandini, R. S. “A Formal Foundation for Transformations in Model Driven Engineering”. Journal of Computer Science and Technology, vol. 8, no. 01, Apr. 2008, pp. p. 46-47, https://journal.info.unlp.edu.ar/JCST/article/view/768.