Giandini RS. A formal foundation for transformations in model driven engineering. JCS&T [Internet]. 2008 Apr. 1 [cited 2023 Jun. 6];8(01):p. 46-47. Available from: https://journal.info.unlp.edu.ar/JCST/article/view/768