Dang, Duc-Hanh, AND 		Nguyen, Thi-Hanh.
" A Contract-Based Specification Method for Model Transformations" <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], Volume 39 Number 1 (1 April 2023)