Chu Thi Minh Hue, Trinh Thi Nhi, and Nguyen Tuan Dat. “FORMAL SEMANTIC FOR UCML”. Journal of Applied Science and Technology 33 (March 31, 2022): 27-33. Accessed April 4, 2025. http://jst.utehy.edu.vn/index.php/jst/article/view/518.