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