Dang, D., & 		Nguyen, T.
(2023).
 A Contract-Based Specification Method for Model Transformations.
<em>VNU Journal Of Science: Computer Science And Communication Engineering, 39</em>(1).
doi:10.25073/2588-1086/vnucsce.657