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