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