Dang, Duc-Hanh, & Thi-Hanh Nguyen. " A Contract-Based Specification Method for Model Transformations." VNU Journal of Science: Computer Science and Communication Engineering [Online], (2023): 1-20. Web. 4 Jun. 2023