Chu Thi Minh Hue, Trinh Thi Nhi, and Nguyen Tuan Dat, “FORMAL SEMANTIC FOR UCML”, jst, vol. 33, pp. 27-33, Mar. 2022.