Dang, D., & 		Nguyen, T.
2023 Apr  1.  A Contract-Based Specification Method for Model Transformations. VNU Journal of Science: Computer Science and Communication Engineering. [Online] 39:1