Giandini, R.S. 2008. A formal foundation for transformations in model driven engineering. Journal of Computer Science and Technology. 8, 01 (Apr. 2008), p. 46–47.